Formal Methods for Distributed System Development

- FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX) October 10-13, 2000, Pisa, Ita

enthalten in IFIP Advances in Information and Communication Technology-Reihe

Formal Methods for Distributed System Development

Sie sparen 13% des UVP sparen 13%

Buch, Gebundene Ausgabe
Versandfertig in 1-2 Wochen
186,00 €

Über Formal Methods for Distributed System Development

Second, one of the several myths about FM's - the fact that their adoption would eventually eliminate the need for testing - is still quite far from becoming a reality, and, again, this book indicates that testing theory and applications are still remarkably healthy.

Sprache:
Englisch

ISBN:
9780792379683

Verlag:
Springer

Einband:
Gebundene Ausgabe

Seitenzahl:
412

Veröffentlicht:
30. September 2000

Ausgabe:
2000

Abmessungen:
234x156x23 mm.

Gewicht:
1710 g.

186,00 € inkl. MwSt.
~~213,99 €~~ UVP

Versandkostenfrei

Versandfertig in 1-2 Wochen.

Beschreibung von Formal Methods for Distributed System Development

Second, one of the several myths about FM's - the fact that their adoption would eventually eliminate the need for testing - is still quite far from becoming a reality, and, again, this book indicates that testing theory and applications are still remarkably healthy.

Kund*innenbewertungen von Formal Methods for Distributed System Development

Andere kauften auch ...

Ähnliche Bücher finden

Das Buch Formal Methods for Distributed System Development ist in den folgenden Kategorien erhältlich:

Wirtschaft & Schule > Computer & IT

Formal Methods for Distributed System Development

Beschreibung von Formal Methods for Distributed System Development

Kund*innenbewertungen von Formal Methods for Distributed System Development

Willkommen bei den Tales Buchfreunden und -freundinnen