Tallenna
Formal Description Techniques and Protocol Specification, Testing and Verification
Formal Description Techniques and Protocol Specification, Testing and Verification addresses formal description techniques (FDTs) applicable to distributed systems and communication protocols.
- Alaotsikko
- FORTE XI/PSTV XVIII’98 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII) 3–6 November 1998, Paris, France
- Toimittaja
- Stan Budkowski, Ana Cavalli, Elie Najm
- Painos
- Softcover reprint of the original 1st ed. 1998
- ISBN
- 9781475752625
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 5.3.2013
- Kustantaja
- Springer-Verlag New York Inc.
- Sivumäärä
- 472
