عنوان
پدید آورنده
موضوع
رده
QA 76.9 .F67
QA
76
.
9
.
F67
کتابخانه
محل استقرار
Formal methods for distributed system development :October 10-13, 2000, Pisa, Italy
Boston
Kluwer academic
2000
xiv, 408 p. : illus, tables
IFIP ; 55
Includes bibliographical references
FORTE/PSTV 0002, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing and Verification ; edited by Tommaso Bolognesi, Diego Latella
1
Congresses ، Electronic data processing- Distributed processing
Congresses ، Formal methods )Computer science(
QA
76
.
9
.
F67
AU
AU Bolognesi, Tommaso
AU Latella, Diego
TI
SE International Federation for Information Processing )Series( ;
IFIP TC6 WG6.1 Joint international conference on formal description techniques for distributed systems and communication protocols and protocol specification, testing and verification)2000 :Pisa, Italy(
