Tests and Proofs

Die Proceedings der sechsten TAP-Konferenz präsentieren neueste Forschung zu formalen Verifikationsmethoden und Theorem-Proving, verpackt in kompakte ...
Wo zu kaufen (3) Eigenschaften
Gesponsert
Tests and Proofs
Hugendubel
53.49 EUR
Preis aktualisiert am: 24-09-2026 23:26:25
Siehe Produktangebot
Gesponsert
Tests and Proofs: 6th International Conference, T.A.P. 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)
Medimops DE
53.49 EUR
Preis aktualisiert am: 28-09-2026 10:02:14
Siehe Produktangebot
Gesponsert
Tests and Proofs
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 28-09-2026 11:38:12
Siehe Produktangebot

Allgemein

Marke
Springer-Verlag GmbH
MPN
Springer-Verlag GmbH 57 black & white illustrations
ISBN
Springer-Verlag GmbH 9783642304729

Eigenschaften

Ähnliche Produkte

Tests and Proofs
Tests and Proofs
Aus139.24 EUR 4
Produkt anzeigen
Tests and Proofs: 15th International Conference, TAP 2021, Held as Part of STAF 2021, Virtual Event, June 21–22, 2021, Proceedings (Lecture Notes in Computer Science, Band 12740)
Tests and Proofs: 15th International Conference, TAP 2021, Held as Part of STAF 2021, Virtual Event, June 21–22, 2021, Proceedings (Lecture Notes in Computer Science, Band 12740)
Aus53.49 EUR 4
Produkt anzeigen
Tests and Proofs
Tests and Proofs
Aus52.94 EUR 3
Produkt anzeigen
Tests and Proofs (Lecture Notes in Computer Science)
Tests and Proofs (Lecture Notes in Computer Science)
Aus51.36 EUR 4
Produkt anzeigen
Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings (Lecture Notes in Computer ... Notes in Computer Science, 4966, Band 4966)
Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings (Lecture Notes in Computer ... Notes in Computer Science, 4966, Band 4966)
Aus42.45 EUR 4
Produkt anzeigen
Tests and Proofs: 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings (Lecture Notes in Computer Science, Band 7942)
Tests and Proofs: 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings (Lecture Notes in Computer Science, Band 7942)
Aus48.99 EUR 4
Produkt anzeigen
Menü