Formal methods for distributed system development

Loading edition detail...

Preparing this view.

Formal methods for distributed system development

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)

Bookitis Pick

Formal methods for distributed system developmentIFIP 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)

This page shows the publication-specific record: publisher, date, identifiers, and all of the context needed to decide whether this is the copy you want.

Main catalog entry More like this

Publisher	Kluwer Academic Publishers
Pages	408
Search language	english
ISBN_10	0-792-37968-3 primary

Other editions of this title

Publication-specific alternatives linked to the same work.