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 (2) Eigenschaften
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: 10-08-2026 06:17:49
Siehe Produktangebot
Gesponsert
Tests and Proofs
SpringerLink DE
67.13 EUR
Preis aktualisiert am: 10-08-2026 03:58:40
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: 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)
Produkt anzeigen
Tests and Proofs
Tests and Proofs
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)
Produkt anzeigen
Tests and Proofs (Lecture Notes in Computer Science)
Tests and Proofs (Lecture Notes in Computer Science)
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)
Produkt anzeigen
Tests and Proofs
Tests and Proofs
Produkt anzeigen
Menü