Location & Availability for: Formal Description Techniques and Protoc

 Staff view

You must be logged in to Tag Records

Formal Description Techniques and Protocol Specification, Testing and Verification [electronic resource] : FORTE XI/PSTV XVIII'98 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII) 3-6 November 1998, Paris, France /

edited by Stan Budkowski, Ana Cavalli, Elie Najm.

Book Cover
Main Author: Budkowski, Stan.
Other Names: Cavalli, Ana. | Najm, Elie.
Published: Boston, MA : Springer US, 1998.
Series: IFIP - The International Federation for Information Processing ; 6
Topics: Engineering. | Computer science. | Computer communication networks. | Computer engineering.
Genres: Electronic books.
Tags: Add


Spaces will separate tags.
Use quotes for multi-word tags.


Loading Holdings Data ... Loading

Location & Availability for: Formal Description Techniques and Protoc