Fortell venner om denne varen:
Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings - Lecture Notes in Computer Science Egon Borger 2008 edition
Pris
£ 42,49
Bestillingsvarer
Forventes levert 3. - 11. des
Julegaver kan byttes frem til 31. januar
Legg til iMusic ønskeliste
eller
Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings - Lecture Notes in Computer Science
Egon Borger
Covering a wide range of research spanning from theoretical and methodological foundations to tool support and practical applications, the contributions are organized in topical sections on abstract state machines, B papers, Z papers, ABZ short papers, and the papers of the Verified Software Repository Network (VSR-net) workshop.
394 pages, Illustrations
| Media | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 8. september 2008 |
| ISBN13 | 9783540876021 |
| Utgivere | Springer-Verlag Berlin and Heidelberg Gm |
| Antall sider | 384 |
| Mål | 155 × 235 × 25 mm · 612 g |
| Språk | Fransk |
| Redaktør | Boca, Paul |
| Redaktør | Boerger, Egon |
| Redaktør | Bowen, Jonathan P. |
| Redaktør | Butler, Michael |
![Cover for Egon Borger · Modeling Companion for Software Practitioners (Pocketbok) [1st ed. 2018 edition] (2018)](https://imusic.b-cdn.net/images/item/original/398/9783662566398.jpg?egon-borger-2018-modeling-companion-for-software-practitioners-pocketbok&class=scaled&v=1604044725)
![Cover for Egon Borger · Abstract State Machines: a Method for High-level System Design and Analysis (Pocketbok) [Softcover Reprint of the Original 1st Ed. 2003 edition] (2013)](https://imusic.b-cdn.net/images/item/original/161/9783642621161.jpg?egon-borger-2013-abstract-state-machines-a-method-for-high-level-system-design-and-analysis-pocketbok&class=scaled&v=1408507282)
![Cover for Egon Borger · Architecture Design and Validation Methods (Pocketbok) [Softcover Reprint of the Original 1st Ed. 2000 edition] (2012)](https://imusic.b-cdn.net/images/item/original/761/9783642629761.jpg?egon-borger-2012-architecture-design-and-validation-methods-pocketbok&class=scaled&v=1542230695)
![Cover for Egon Borger · Berechenbarkeit Komplexitat Logik (Pocketbok) [3., Verb. Und Erw. Aufl. 1992 edition] (1992)](https://imusic.b-cdn.net/images/item/original/287/9783528289287.jpg?egon-borger-1992-berechenbarkeit-komplexitat-logik-pocketbok&class=scaled&v=1512993936)