Automatic Methods for the Refinement of System Models [electronic resource] : From the Specification to the Implementation / by Julia Seiter, Robert Wille, Rolf Drechsler..    Springer eBooks.  Cham : Springer International Publishing : Imprint: Springer, 2017. . VIII, 94 p. 30 illus., 5 illus. in color.
Plný text pro studenty a zaměstnance UPOL