Fortell venner om denne varen:
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
Pris
NOK 559
Bestillingsvarer
Forventes levert 24. okt - 3. nov
Legg til iMusic ønskeliste
eller
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 | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 12. juni 2012 |
| ISBN13 | 9783642308840 |
| Utgivere | Springer-Verlag Berlin and Heidelberg Gm |
| Antall sider | 378 |
| Mål | 155 × 235 × 20 mm · 589 g |
| Språk | Tysk |
| Redaktør | Derrick, John |
| Redaktør | Fitzgerald, John |
| Redaktør | Gnesi, Stefania |
| Redaktør | Khurshid, Sarfraz |
| Redaktør | Leuschel, Michael |
| Redaktør | Reeves, Steve |
| Redaktør | Riccobene, Elvinia |
![Cover for John Derrick · Refinement: Semantics, Languages and Applications (Pocketbok) [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-pocketbok&class=scaled&v=1593606661)
![Cover for John Derrick · Refinement: Semantics, Languages and Applications (Innbunden bok) [1st ed. 2018 edition] (2018)](https://imusic.b-cdn.net/images/item/original/091/9783319927091.jpg?john-derrick-2018-refinement-semantics-languages-and-applications-innbunden-bok&class=scaled&v=1541590630)
![Cover for John Derrick · Refinement in Z and Object-Z: Foundations and Advanced Applications (Pocketbok) [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-pocketbok&class=scaled&v=1556165679)
![Cover for John Derrick · Refinement in Z and Object-Z: Foundations and Advanced Applications (Innbunden bok) [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-innbunden-bok&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 (Pocketbok) [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-pocketbok&class=scaled&v=1529397972)