Um eUniverse.ch in vollem Umfang nutzen zu können, empfehlen wir Ihnen Javascript in Ihrem Browser zu aktiveren.

Software Reliability Methods

111.11 CHF

Versandkostenfrei

Lieferzeit: 21 Werktage

Artikel-Nr.: 10316939

Beschreibung

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

Eigenschaften

Breite:	161
Gewicht:	566 g
Höhe:	234
Länge:	22
Seiten:	332
Sprachen:	Englisch
Autor:	Doron A. Peled, E. M. Clarke

Bewertung

Menü schließen

Bewertungen werden nach Überprüfung freigeschaltet.

Die mit einem * markierten Felder sind Pflichtfelder.

Ich habe die Datenschutzbestimmungen zur Kenntnis genommen.

Artikel vergleichen

Mindestens noch einen Artikel hinzufügen um Vergleich zu starten.

Bestseller Kategorie

Topseller