[email protected]
Wir antworten innerhalb von 24 Stunden
Kontakt
Wie einkaufen
Hilfe
Versand
Österreichische Post 5.99 €
DPD-Kurier 6.49 €
GLS-Kurier 4.49 €
Kaufberater
Wir sind für Sie da!
[email protected]
Mein Konto
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen.
Konto kostenlos anlegen
▸
Leer :-(
0
Tests and Proofs
Sprache
Englisch
Englisch
Buch
Broschur
This book constitutes the refereed proceedings of the 12th International Conference on Tests and Pro...
Vollständige Beschreibung
Libristo-Code: 19406924
?
161 b
161 b
64.16
€
inkl. MwSt.
Externes Lager in kleiner Menge
Wir versenden in 13-16 Tagen
30 Tage für die Rückgabe der Ware
Das könnte Sie auch interessieren
This book constitutes the refereed proceedings of the 12th International Conference on Tests and Proofs, TAP 2018, held as part of STAF 2018, in Toulouse, France, in June 2018. The 8 regular papers, 2 short papers, 1 invited paper and 1 invited tutorial presented in this volume were carefully reviewed and selected from 18 submissions. The TAP conference promotes research in verification and formal methods that targets the interplay of proofs and testing: the advancement of techniques of each kind and their combination, with the ultimate goal of improving software and system dependability.
Informationen zum Buch
Vollständiger Name
Tests and Proofs
Autor
Catherine Dubois, Burkhart Wolff
Sprache
Englisch
Englisch
Einband
Buch - Broschur
Datum der Veröffentlichung
2018
Anzahl der Seiten
185
EAN
9783319929934
ISBN
3319929933
Libristo-Code
19406924
Gewicht
314
Abmessungen
155 x 235 x 12
