Verwandte Artikel zu 1990 (10th) (Protocol Specification, Testing and Verificatio...
1990 (10th) (Protocol Specification, Testing and Verification: International Workshop Proceedings) - Hardcover
Inhaltsangabe
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''.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Reseña del editor
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''.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
- VerlagElsevier Science Ltd
- Erscheinungsdatum1990
- ISBN 10 0444888101
- ISBN 13 9780444888105
- EinbandTapa dura
- SpracheEnglisch
- Anzahl der Seiten428
- HerausgeberLogrippo L., Etc., Probert R.L., Ural H.
- Kontakt zum HerstellerNicht verfügbar
Suchergebnisse für 1990 (10th) (Protocol Specification, Testing and Verificatio...
Beispielbild für diese ISBN
Protocol Specification, Testing, and Verification, X: Proceedings
Anbieter: Ammareal, Morangis, Frankreich
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Très bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Couverture différente. Edition 1990. Editeur différent. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Slight signs of wear on the cover. Different cover. Edition 1990. Different publisher. Ammareal gives back up to 15% of this item's net price to charity organizations. Artikel-Nr. E-286-630
Anzahl: 1 verfügbar