Formal methods for distributed system development : October 10-13, 2000, Pisa, Italy / 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 ; edited by Tommaso Bolognesi, Diego Latella.

Saved in:

Bibliographic Details
Corporate Author:	IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing, and Verification Pisa, Italy
Other Authors:	Bolognesi, Tommaso, Latella, Diego
Format:	Conference Proceeding Book
Language:	English
Published:	Boston, MA : Kluwer Academic Publishers, 2000.
Series:	International Federation for Information Processing (Series) ; 55.
Subjects:	Electronic data processing > Distributed processing > Congresses. Formal methods (Computer science) > Congresses.

PASCAL Offsite

Holdings details from PASCAL Offsite
Call Number:	QA76.9.D5 I33845 2000
QA76.9.D5 I33845 2000	Unavailable