Vinkkaa tuotetta kavereillesi:
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 2012 edition
John Derrick
Hinta
S$ 79,75
Tilattu etävarastosta
Arvioitu toimitus ke - to 12. - 20. marras
Joululahjoja voi vaihtaa 31.1. asti
Lisää iMusic-toivelistallesi
tai
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 2012 edition
John Derrick
This book constitutes the proceedings of the Third International Conference on Abstract State Machines, B, VDM, and Z, which took place in Pisa, Italy, in June 2012.
393 pages, 133 black & white illustrations, biography
| Media | Kirjat Paperback Book (Kirja pehmeillä kansilla ja liimatulla selällä) |
| Julkaisupäivämäärä | tiistai 12. kesäkuuta 2012 |
| ISBN13 | 9783642308840 |
| Tuottaja | Springer-Verlag Berlin and Heidelberg Gm |
| Sivujen määrä | 378 |
| Mitta | 155 × 235 × 20 mm · 589 g |
| Kieli | German |
| Toimittaja | Derrick, John |
| Toimittaja | Fitzgerald, John |
| Toimittaja | Gnesi, Stefania |
| Toimittaja | Khurshid, Sarfraz |
| Toimittaja | Leuschel, Michael |
| Toimittaja | Reeves, Steve |
| Toimittaja | Riccobene, Elvinia |
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 · 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 · 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 )