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

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

Sinopsis

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

Reseña del editor

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.

"Sobre este título" puede pertenecer a otra edición de este libro.