Freunden von diesem Artikel berichten:
Refinement: Semantics, Languages and Applications John Derrick 1st ed. 2018 edition
Preis
€ 49,99
Bestellware
Lieferdatum: ca. 7. - 15. Jan 2026
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden
Zu deiner iMusic Wunschliste hinzufügen
oder
Auch vorhanden als:
Refinement: Semantics, Languages and Applications
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 | 150 × 220 × 20 mm · 585 g |
| Sprache | Deutsch |
Weitere Titel von John Derrick
Alle anzeigen![Cover for John Derrick · Refinement in Z and Object-Z: Foundations and Advanced Applications (Taschenbuch) [Softcover reprint of the original 2nd ed. 2014 edition] (2015)](https://imusic.b-cdn.net/images/item/original/677/9781447161677.jpg?john-derrick-2015-refinement-in-z-and-object-z-foundations-and-advanced-applications-taschenbuch&class=scaled&v=1556165679)
![Cover for John Derrick · Refinement in Z and Object-Z: Foundations and Advanced Applications (Gebundenes Buch) [2nd ed. 2014 edition] (2013)](https://imusic.b-cdn.net/images/item/original/542/9781447153542.jpg?john-derrick-2013-refinement-in-z-and-object-z-foundations-and-advanced-applications-gebundenes-buch&class=scaled&v=1411063625)
![Cover for John Derrick · Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings - Theoretical Computer Science and General Issues (Taschenbuch) [2012 edition] (2012)](https://imusic.b-cdn.net/images/item/original/840/9783642308840.jpg?john-derrick-2012-abstract-state-machines-alloy-b-vdm-and-z-third-international-conference-abz-2012-pisa-italy-june-18-21-2012-proceedings-theoretical-computer-science-and-general-issues-taschenbuch&class=scaled&v=1556165666)
![Cover for John Derrick · Formal Techniques for Networked and Distributed Systems - FORTE 2007: 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings - Lecture Notes in Computer Science (Taschenbuch) [2007 edition] (2007)](https://imusic.b-cdn.net/images/item/original/955/9783540731955.jpg?john-derrick-2007-formal-techniques-for-networked-and-distributed-systems-forte-2007-27th-ifip-wg-6-1-international-conference-tallinn-estonia-june-27-29-2007-proceedings-lecture-notes-in-computer-science-taschenbuch&class=scaled&v=1529397972)
Alle Titel von John Derrick ansehen ( u. a. Taschenbuch und Gebundenes Buch )