Vinkkaa tuotetta kavereillesi:
Refinement in Z and Object-Z: Foundations and Advanced Applications John Derrick Softcover reprint of the original 2nd ed. 2014 edition
Hinta
Kč 2.454
Tilattu etävarastosta
Arvioitu toimitus ke - to 17. - 25. joulu
Joululahjoja voi vaihtaa 31.1. asti
Lisää iMusic-toivelistallesi
tai
Löytyy myös muodossa:
Refinement in Z and Object-Z: Foundations and Advanced Applications
John Derrick
This book covers data refinement and its application to Z; generalisations of refinement that change the interface and atomicity of operations; refinement in Object-Z; and modelling state and behaviour by combining Object-Z with CSP.
492 pages, XVIII, 492 p.
| Media | Kirjat Paperback Book (Kirja pehmeillä kansilla ja liimatulla selällä) |
| Julkaisupäivämäärä | sunnuntai 23. elokuuta 2015 |
| ISBN13 | 9781447161677 |
| Tuottaja | Springer London Ltd |
| Sivujen määrä | 492 |
| Mitta | 155 × 235 × 26 mm · 707 g |
| Kieli | Englanti |
Näytä kaikki
Lisää tuotteita John Derrick
![Cover for John Derrick · Refinement: Semantics, Languages and Applications (Paperback Book) [Softcover Reprint of the Original 1st 2018 edition] (2019)](https://imusic.b-cdn.net/images/item/original/976/9783030064976.jpg?john-derrick-2019-refinement-semantics-languages-and-applications-paperback-book&class=scaled&v=1593606661)
![Cover for John Derrick · Refinement: Semantics, Languages and Applications (Hardcover Book) [1st ed. 2018 edition] (2018)](https://imusic.b-cdn.net/images/item/original/091/9783319927091.jpg?john-derrick-2018-refinement-semantics-languages-and-applications-hardcover-book&class=scaled&v=1541590630)
![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 )