Freunden von diesem Artikel berichten:
Refinement: Semantics, Languages and Applications 1st ed. 2018 edition
John Derrick
Preis
€ 62,99
Bestellware
Lieferdatum: ca. 11. - 23. Okt
Zu deiner iMusic Wunschliste hinzufügen
Refinement: Semantics, Languages and Applications 1st ed. 2018 edition
John Derrick
It (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.
269 pages, 20 Tables, black and white; 39 Illustrations, black and white; XIX, 269 p. 39 illus.
Medien | Bücher Gebundenes Buch (Buch mit hartem Rücken und steifem Einband) |
Erscheinungsdatum | 14. September 2018 |
ISBN13 | 9783319927091 |
Verlag | Springer International Publishing AG |
Seitenanzahl | 269 |
Maße | 585 g |
Sprache | Deutsch |
Alle anzeigen
Weitere Titel von John Derrick
Alle Titel von John Derrick ansehen ( u. a. Taschenbuch und Gebundenes Buch )