Verwandte Artikel zu Formal Description Techniques IX: Theory, application...
Formal Description Techniques IX: Theory, application and tools (IFIP Advances in Information and Communication Technology) - Hardcover
Inhaltsangabe
This book is the combined proceedings of the latest IFIP Formal Description Techniques (FDTs) and Protocol Specification, Testing and Verification (PSTV) series. It addresses FDTs applicable to communication protocols and distributed systems, with special emphasis on standardised FDTs. It features state-of-the-art in theory, application, tools and industrialisation of formal description.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Reseña del editor
This book is the combined proceedings of the latest IFIP Formal Description Techniques (FDTs) and Protocol Specification, Testing and Verification (PSTV) series. It addresses FDTs applicable to communication protocols and distributed systems, with special emphasis on standardised FDTs. It features state-of-the-art in theory, application, tools and industrialisation of formal description.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Neu kaufen
Diesen Artikel anzeigen
EUR 179,48
Gratis für den Versand von USA nach Deutschland
Versandziele, Kosten & Dauer
Suchergebnisse für Formal Description Techniques IX: Theory, application...
Beispielbild für diese ISBN
Formal Description Techniques Ix: Theory, Application And Tools
Anbieter: Basi6 International, Irving, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Bestandsnummer des Verkäufers ABEJUNE24-91767
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Formal Description Techniques Ix: Theory, Application And Tools
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Bestandsnummer des Verkäufers ABNR-144364
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Formal Description Techniques IX: Theory, application and tools (IFIP Advances in Information and Communication Technology)
Anbieter: ALLBOOKS1, Direk, SA, Australien
Verkäuferbewertung 5 von 5 Sternen
Bestandsnummer des Verkäufers SHUB91767
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Formal Description Techniques IX
Anbieter: Books Puddle, New York, NY, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. pp. 536. Bestandsnummer des Verkäufers 26505485
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Formal Description Techniques IX
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. pp. 536. Bestandsnummer des Verkäufers 18505479
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Formal Description Techniques IX
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. pp. 536 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 7342418
Anzahl: 1 verfügbar
Foto des Verkäufers
Formal Description Techniques IX
Print-on-DemandAnbieter: moluna, Greven, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Gebunden. Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book is the combined proceedings of the latest IFIP Formal Description Techniques (FDTs) and Protocol Specification, Testing and Verification (PSTV) series. It addresses FDTs applicable to communication protocols and distributed systems, with specia. Bestandsnummer des Verkäufers 5915252
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Formal Description Techniques IX : Theory, Application and Tools : Ifip Tc6/6.1 International Conference on Formal Description Techniques Ix/Protocol Specification, Testing and verifica
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 5898791-n
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Formal Description Techniques IX : Theory, Application and Tools : Ifip Tc6/6.1 International Conference on Formal Description Techniques Ix/Protocol Specification, Testing and verifica
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 5898791-n
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Formal Description Techniques IX
Verlag:
Springer US, Springer US Sep 1996, 1996
ISBN 10: 041279490X
ISBN 13: 9780412794902
Neu
Hardcover
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Buch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book is the combined proceedings of the latest IFIP Formal Description Techniques (FDTs) and Protocol Specification, Testing and Verification (PSTV) series. It addresses FDTs applicable to communication protocols and distributed systems, with special emphasis on standardised FDTs. It features state-of-the-art in theory, application, tools and industrialisation of formal description.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 532 pp. Englisch. Bestandsnummer des Verkäufers 9780412794902
Anzahl: 1 verfügbar