Bitte aktivieren Sie Cookies in Ihrem Browser, damit der faltershop korrekt funktioneren kann.
Verification, Model Checking, and Abstract Interpretation
9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings
325 Seiten, Taschenbuch
Mehr Informationen Reihe | Lecture Notes in Computer Science |
ISBN | 9783540781622 |
Sprache | Englisch |
Erscheinungsdatum | 26.02.2008 |
Genre | Informatik, EDV/Informatik |
Verlag | Springer Berlin |
Herausgegeben von | Francesco Logozzo, Doron A. Peled, Leonore D. Zuck |
Lieferzeit | Lieferbar in 6 Tagen |
Herstellerangaben | Anzeigen Springer Nature Customer Service Center GmbH ProductSafety@springernature.com |
---|
Unsere Prinzipien
- ✔ kostenlose Lieferung innerhalb Österreichs ab € 35,–
- ✔ über 1,5 Mio. Bücher, DVDs & CDs im Angebot
- ✔ alle FALTER-Produkte und Abos, nur hier!
- ✔ hohe Sicherheit durch SSL-Verschlüsselung (RSA 4096 bit)
- ✔ keine Weitergabe personenbezogener Daten an Dritte
- ✔ als 100% österreichisches Unternehmen liefern wir innerhalb Österreichs mit der Österreichischen Post
Kurzbeschreibung des Verlags
Mehr Informationen Reihe | Lecture Notes in Computer Science |
ISBN | 9783540781622 |
Sprache | Englisch |
Erscheinungsdatum | 26.02.2008 |
Genre | Informatik, EDV/Informatik |
Verlag | Springer Berlin |
Herausgegeben von | Francesco Logozzo, Doron A. Peled, Leonore D. Zuck |
Lieferzeit | Lieferbar in 6 Tagen |
Herstellerangaben | Anzeigen Springer Nature Customer Service Center GmbH ProductSafety@springernature.com |
---|
Unsere Prinzipien
- ✔ kostenlose Lieferung innerhalb Österreichs ab € 35,–
- ✔ über 1,5 Mio. Bücher, DVDs & CDs im Angebot
- ✔ alle FALTER-Produkte und Abos, nur hier!
- ✔ hohe Sicherheit durch SSL-Verschlüsselung (RSA 4096 bit)
- ✔ keine Weitergabe personenbezogener Daten an Dritte
- ✔ als 100% österreichisches Unternehmen liefern wir innerhalb Österreichs mit der Österreichischen Post
Sagen Sie uns Ihre Meinung