Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE XI/PSTV XVIII?98 IFIP TC6 WG6.1 Joint International . Information and Communication Technology, 6)
ISBN 10: 0412847604 ISBN 13: 9780412847608
Verlag: Springer, 1998
Neu
Hardcover
Verkäufer
Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
AbeBooks-Verkäufer seit 25. März 2015
Dieser Artikel ist nicht mehr verfügbar.
Beschreibung
Beschreibung:
In. Bestandsnummer des Verkäufers ria9780412847608_new
Inhaltsangabe:
Formal Description Techniques and Protocol Specification, Testing and Verification addresses formal description techniques (FDTs) applicable to distributed systems and communication protocols. It aims to present the state of the art in theory, application, tools and industrialization of FDTs. Among the important features presented are: FDT-based system and protocol engineering; FDT-application to distributed systems; Protocol engineering; Practical experience and case studies.
Formal Description Techniques and Protocol Specification, Testing and Verification comprises the proceedings of the Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing and Verification, sponsored by the International Federation for Information Processing, held in November 1998, Paris, France.
Formal Description Techniques and Protocol Specification, Testing and Verification is suitable as a secondary text for a graduate-level course on Distributed Systems or Communications, and as a reference for researchers and practitioners in industry.
Reseña del editor:
Formal Description Techniques and Protocol Specification, Testing and Verification addresses formal description techniques (FDTs) applicable to distributed systems and communication protocols. It aims to present the state of the art in theory, application, tools and industrialization of FDTs. Among the important features presented are: FDT-based system and protocol engineering; FDT-application to distributed systems; Protocol engineering; Practical experience and case studies.
Formal Description Techniques and Protocol Specification, Testing and Verification comprises the proceedings of the Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing and Verification, sponsored by the International Federation for Information Processing, held in November 1998, Paris, France.
Formal Description Techniques and Protocol Specification, Testing and Verification is suitable as a secondary text for a graduate-level course on Distributed Systems or Communications, and as a reference for researchers and practitioners in industry.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Bibliografische Details
Titel: Formal Description Techniques and Protocol ...
Verlag: Springer
Erscheinungsdatum: 1998
Einband: Hardcover
Zustand: New
Beste Suchergebnisse bei AbeBooks
Beispielbild für diese ISBN
Formal Description Techniques and Protocol Specification, Testing and Verification: Forte XI/Pstv XVIII 98 Ifip Tc6 Wg6.1 Joint International Conferen . in Information and Communication Technology)
Anbieter: Bahamut Media, Reading, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Very Good. Shipped within 24 hours from our UK warehouse. Clean, undamaged book with no damage to pages and minimal wear to the cover. Spine still tight, in very good condition. Remember if you are not happy, you are covered by our 100% money back guarantee. Bestandsnummer des Verkäufers 6545-9780412847608
Gebraucht kaufen
EUR 8,77
EUR 7,97 shipping
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Formal Description Techniques and Protocol Specification, Testing and Verification: Forte XI/Pstv XVIII 98 Ifip Tc6 Wg6.1 Joint International Conferen . in Information and Communication Technology)
Anbieter: AwesomeBooks, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Very Good. Formal Description Techniques and Protocol Specification, Testing and Verification: Forte XI/Pstv XVIII 98 Ifip Tc6 Wg6.1 Joint International Conferen . in Information and Communication Technology) This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping. . Bestandsnummer des Verkäufers 7719-9780412847608
Gebraucht kaufen
EUR 8,77
EUR 5,70 shipping
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Formal Description Techniques and Protocol Specification: Forte Xi/Pstv XVIII '98 : Ifip Tc6 Wg6.1 Joint International Conference on Formal
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. Edition 1998. 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. Edition 1998. Ammareal gives back up to 15% of this item's net price to charity organizations. Bestandsnummer des Verkäufers D-569-090
Gebraucht kaufen
EUR 9,99
EUR 20,50 shipping
Versand von Frankreich nach USA
Versand von Frankreich nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE XI/PSTV XVIII'98 IFIP TC6 WG6.1 Joint International ... Information and Communication Technology, 6)
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers ABLIING23Feb2215580181299
Neu kaufen
EUR 203,12
EUR 3,41 shipping
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Formal Description Techniques and Protocol Specification, Testing and Verification: Forte XI/Pstv Xviii\ 98 Ifip Tc6 Wg6.1 Joint International Conferen
Anbieter: moluna, Greven, Deutschland
Verkäuferbewertung 4 von 5 Sternen
Gebunden. Zustand: New. Formal Description Techniques and Protocol Specification, Testing and Verification addresses formal description techniques (FDTs) applicable to distributed systems and communication protocols. It aims to present the state of the art in . Bestandsnummer des Verkäufers 458435515
Neu kaufen
EUR 238,59
EUR 48,99 shipping
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Formal Description Techniques and Protocol Specification, Testing and Verification
Anbieter: Books Puddle, New York, NY, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. pp. 488. Bestandsnummer des Verkäufers 26296985
Neu kaufen
EUR 271,78
EUR 3,41 shipping
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 4 verfügbar
Beispielbild für diese ISBN
Formal Description Techniques and Protocol Specification, Testing and Verification
Print-on-DemandAnbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. Print on Demand pp. 488 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam. Bestandsnummer des Verkäufers 7550918
Neu kaufen
EUR 291,66
EUR 7,42 shipping
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 4 verfügbar
Beispielbild für diese ISBN
Formal Description Techniques and Protocol Specification, Testing and Verification
Print-on-DemandAnbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. PRINT ON DEMAND pp. 488. Bestandsnummer des Verkäufers 18296979
Neu kaufen
EUR 294,18
EUR 9,95 shipping
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 4 verfügbar
Foto des Verkäufers
Formal Description Techniques and Protocol Specification, Testing and Verification : Forte XI/Pstv Xviii'98 Ifip Tc6 Wg6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (Forte XI) and Protocol Specification, Testing and Verification (Pstv XVIII) 3-6 November 1998, Paris
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Buch. Zustand: Neu. Neuware - Formal Description Techniques and Protocol Specification, Testing and Verification addresses formal description techniques (FDTs) applicable to distributed systems and communication protocols. It aims to present the state of the art in theory, application, tools and industrialization of FDTs. Among the important features presented are: FDT-based system and protocol engineering; FDT-application to distributed systems; Protocol engineering; Practical experience and case studies. Formal Description Techniques and Protocol Specification, Testing and Verification comprises the proceedings of the Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing and Verification, sponsored by the International Federation for Information Processing, held in November 1998, Paris, France. Formal Description Techniques and Protocol Specification, Testing and Verification is suitable as a secondary text for a graduate-level course on Distributed Systems or Communications, and as a reference for researchers and practitioners in industry. Bestandsnummer des Verkäufers 9780412847608
Neu kaufen
EUR 294,27
EUR 64,29 shipping
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 2 verfügbar