Tallenna
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.
- Alaotsikko
- 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, Italy
- Toimittaja
- Tommaso Bolognesi, Diego Latella
- Painos
- Softcover reprint of the original 1st ed. 2000
- ISBN
- 9781475752649
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 28.2.2013
- Kustantaja
- Springer-Verlag New York Inc.
- Sivumäärä
- 412
