Fortell venner om denne varen:
Verification, Model Checking, and Abstract Interpretation: 5th International Conference, Vmcai 2004, Venice, January 11-13, 2004, Proceedings - Lecture Notes in Computer Science Bernhard Steffen
Pris
NOK 569
Bestillingsvarer
Forventes levert 7. - 15. jan 2026
Julegaver kan byttes frem til 31. januar
Legg til iMusic ønskeliste
eller
Verification, Model Checking, and Abstract Interpretation: 5th International Conference, Vmcai 2004, Venice, January 11-13, 2004, Proceedings - Lecture Notes in Computer Science
Bernhard Steffen
This book constitutes the refereed proceedings of the 5th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2004, held in Venice, Italy in January 2004.
325 pages, biography
| Media | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 7. januar 2004 |
| ISBN13 | 9783540208037 |
| Utgivere | Springer-Verlag Berlin and Heidelberg Gm |
| Antall sider | 325 |
| Mål | 156 × 234 × 18 mm · 480 g |
| Språk | Tysk |
![Cover for Bernhard Steffen · Bridging the Gap Between AI and Reality: First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Proceedings - Lecture Notes in Computer Science (Pocketbok) [1st ed. 2024 edition] (2023)](https://imusic.b-cdn.net/images/item/original/012/9783031460012.jpg?bernhard-steffen-2023-bridging-the-gap-between-ai-and-reality-first-international-conference-aisola-2023-crete-greece-october-23-28-2023-proceedings-lecture-notes-in-computer-science-pocketbok&class=scaled&v=1749558880)
![Cover for Bernhard Steffen · Mathematical Foundations of Advanced Informatics: Volume 1: Inductive Approaches (Pocketbok) [Softcover Reprint of the Original 1st 2018 edition] (2019)](https://imusic.b-cdn.net/images/item/original/339/9783030098339.jpg?bernhard-steffen-2019-mathematical-foundations-of-advanced-informatics-volume-1-inductive-approaches-pocketbok&class=scaled&v=1614667743)
