Produkt
KlappentextIt (1) introduces the reader to different ways of looking at refinement, relating refinement to observations(2) shows how these are realised in different semantic models (3) shows how different formal methods use different models of refinement, and (4) how these models of refinement are related.
Details
ISBN/GTIN978-3-030-06497-6
ProduktartBuch
EinbandartKartoniert, Paperback
Verlag
Erscheinungsjahr2019
Erscheinungsdatum25.01.2019
AuflageSoftcover reprint of the original 1st ed. 2018
Seiten269 Seiten
SpracheEnglisch
Gewicht450 g
IllustrationenXIX, 269 p. 39 illus.
Artikel-Nr.52536139
Rubriken