Bitte haben Sie einen Moment Geduld, wir legen Ihr Produkt in den Warenkorb.
Verification, Induction, Termination Analysis
Festschrift for Christoph Walther on the Occasion of His 60th Birthday
145 Seiten, Taschenbuch
€ 54,99
Bitte haben Sie einen Moment Geduld, wir legen Ihr Produkt in den Warenkorb.
| Reihe | Lecture Notes in Artificial Intelligence |
|---|---|
| ISBN | 9783642171710 |
| Sprache | Englisch |
| Erscheinungsdatum | 16.11.2010 |
| Genre | Informatik, EDV/Informatik |
| Verlag | Springer Berlin |
| Herausgegeben von | Simon Siegler, Nathan Wasser |
| Lieferzeit | Lieferung in 7-14 Werktagen |
| Herstellerangaben | Anzeigen Springer Nature Customer Service Center GmbH Europaplatz 3 | DE-69115 Heidelberg ProductSafety@springernature.com |
| Reihe | Lecture Notes in Artificial Intelligence |
|---|---|
| ISBN | 9783642171710 |
| Sprache | Englisch |
| Erscheinungsdatum | 16.11.2010 |
| Genre | Informatik, EDV/Informatik |
| Verlag | Springer Berlin |
| Herausgegeben von | Simon Siegler, Nathan Wasser |
| Lieferzeit | Lieferung in 7-14 Werktagen |
| Herstellerangaben | Anzeigen Springer Nature Customer Service Center GmbH Europaplatz 3 | DE-69115 Heidelberg ProductSafety@springernature.com |
Wie gefällt Ihnen unser Shop?