Protocol Specification, Testing, and Verification, IX: 9th - Rilegato

Brinksma, Ed; Scollo, Giuseppe

 
9780444883438: Protocol Specification, Testing, and Verification, IX: 9th

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.