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 and Protocol Specification, Testing and Verification, October 10-13, 2000, Pisa, Italy ; edited by Tommaso Bolognesi, Diego Latella
Bok Engelsk 2000 Testing and Verification IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification
| Utgitt | Boston, Mass : Kluwer Academic , c2000
|
|---|---|
| Omfang | xiv, 408 s. : ill.
|
| Emner | |
| ISBN | 0792379683
|
