1989 (9th) (Protocol Specification, Testing and Verification: International Workshop Proceedings) - Hardcover

 
9780444883438: 1989 (9th) (Protocol Specification, Testing and Verification: International Workshop Proceedings)

Synopsis

Researchers and practitioners concerned with the application of formal methods to the design, description, analysis, implementation and testing of open systems contributed to this book. It is the ninth in a successful series of annual volumes.

"synopsis" may belong to another edition of this title.