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, Italy
- Författare
- Italy) Testing and Verification (2000 : Pisa IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification
- (Edited by Tommaso Bolognesi, Diego Latella)
- Genre
- Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Kluwer Academic Publishers | 2000 | Storbritannien, Boston, Mass, London | xiv, 408 sidor. : ill. 25 cm | 0-7923-7968-3 |