Protocol Specification, Testing, and Verification, X: Proceedings (I F I P W G 61 International Workshop on Protocol Specification, Testing, and Verification//Protocol . Specification, Testing, and Verification)

Luigi Logrippo , Robert L. Probert, H. Ural, eds.

ISBN 10: 0444888101 / ISBN 13: 9780444888105

Editore: Elsevier Science Publishing Company, 1990

Riguardo questo articolo

*Price HAS BEEN REDUCED by 10% until Monday, June 9 (weekend SALE item)* 416 pp., hardcover, ex library, else text clean & binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country. Codice articolo ZB564033

Dati bibliografici

Titolo: Protocol Specification, Testing, and ...

Casa editrice: Elsevier Science Publishing Company

Data di pubblicazione: 1990

Legatura: Rilegato

Condizione: Good

Descrizione articolo

Riassunto:

The contributions to this book are from researchers and practitioners concerned with the theory and application of formal methods to the specification, testing and verification of protocols for open systems. Being the tenth in a successful series of symposia, a special feature of the book is a number of invited papers on the same theme, ``The First Ten Years, The Next Ten Years''.