Armin Biere - Computer Aided Verification: 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July ... Notes in Computer Science, 8559, Band 8559)
105,94 €
Gratis-Versand
Brand : Springer, Binding : Taschenbuch, Edition : 2014, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 911, publicationDate : 2014-08-04, publishers : Armin Biere, Roderick Bloem, ISBN : 3319088661 ...
Ähnliche Produkte könnten Sie interessieren
| Verkauft durch | Stückpreis | Lieferung | Gesamtpreis | |
|---|---|---|---|---|
| MEDIMOPS | 105,94 € | Gratis-Versand | 105,94 € |