Hardware and Software: Verification and Testing

49.22 EUR

Der Band präsentiert die neuesten Erkenntnisse der siebten Haifa-Verifikationskonferenz, beleuchtet innovative Testverfahren, Modellierungsmethoden und praxisnahe Fallstudien für Entwickler und Forschende.

Marke: Springer Berlin Heidelberg
ISBN: 364234187X
MPN: 95 black & white illustrations, biograph