Formal methods for distributed system development
Subtitle: 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
By: edited by Tommaso Bolognesi, Diego Latella.
Contributors: Bolognesi, Tommaso.; Latella, Diego.
Series: IFIP -- 55; International Federation for Information Processing (Series) -- 55.
Publisher: Kluwer Academic Publishers
Published: 2000
Place of publication: Boston, MA
Language: eng
Number of pages: 408
Subjects: Electronic data processing -- Distributed processing -- Congresses.; Formal methods (Computer science) -- Congresses.
Genres: Congresses.
Notes: Includes bibliographical references.