Software Reliability Methods - Softcover

Peled, Doron A

 
9781475735413: Software Reliability Methods
Softcover
ISBN 10: 1475735413 ISBN 13: 9781475735413
Verlag: Springer, 2014

Inhaltsangabe

*Introduction * Preliminaries * Logic and Theorem Proving * Modeling Systems * Formal Specification of Systems Properties * Automatic Verification * Deductive Verification * Process Algebras and Equivalences * Testing * Visualization * Pragmatics of Formal Methods * Conclusions

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2014
Sprache
Englisch
ISBN 10 
1475735413
ISBN 13 
9781475735413
Einband
Taschenbuch
Anzahl der Seiten
358
Kontakt zum Hersteller
ROXIO
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
22391
Deutschland

Weitere beliebte Ausgaben desselben Titels

9780387951065: Software Reliability Methods (Texts in Computer Science)

Vorgestellte Ausgabe

ISBN 10:  0387951067 ISBN 13:  9780387951065
Verlag: Springer, 2001
Hardcover