Vinkkaa tuotetta kavereillesi:
Refinement: Semantics, Languages and Applications Softcover reprint of the original 1st ed. 2018 edition
John Derrick
Hinta
zł 218,90
Tilattu etävarastosta
Arvioitu toimitus ke - to 13. - 21. elo
Lisää iMusic-toivelistallesi
Eller
Löytyy myös muodossa:
Refinement: Semantics, Languages and Applications Softcover reprint of the original 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.
| Media | Kirjat Paperback Book (Kirja pehmeillä kansilla ja liimatulla selällä) |
| Julkaisupäivämäärä | perjantai 25. tammikuuta 2019 |
| ISBN13 | 9783030064976 |
| Tuottaja | Springer Nature Switzerland AG |
| Sivujen määrä | 269 |
| Mitta | 446 g |
| Kieli | German |
Näytä kaikki
Lisää tuotteita John Derrick
![Cover for John Derrick · Refinement in Z and Object-Z: Foundations and Advanced Applications (Paperback Book) [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-paperback-book&class=scaled&v=1556165679)
![Cover for John Derrick · Refinement in Z and Object-Z: Foundations and Advanced Applications (Hardcover Book) [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-hardcover-book&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 (Paperback Book) [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-paperback-book&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 (Paperback Book) [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-paperback-book&class=scaled&v=1529397972)
Katso kaikki joka sisältää John Derrick ( Esim. Paperback Book Ja Hardcover Book )