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 |