Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII ’97 (IFIP Advances in Information and Communication Technology) - Hardcover
Inhaltsangabe
FORTE/PSTV ’97 addresses Formal Description Techniques (FDTs) applicable to Distributed Systems and Communication Protocols (such as Estelle, LOTOS, SDL, ASN.1, TTCN, Z, Automata, Process Algebra, Logic). The conference is a forum for presentation of the state-of-the-art in theory, application, tools and industrialization of FDTs, and provides an excellent orientation for newcomers.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Reseña del editor
FORTE/PSTV '97 addresses Formal Description Techniques (FDTs) applicable to Distributed Systems and Communication Protocols (such as Estelle, LOTOS, SDL, ASN.1, TTCN, Z, Automata, Process Algebra, Logic). The conference is a forum for presentation of the state-of-the-art in theory, application, tools and industrialization of FDTs, and provides an excellent orientation for newcomers.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Weitere beliebte Ausgaben desselben Titels
Suchergebnisse für Formal Description Techniques and Protocol Specification,...
Beispielbild für diese ISBN
Formal Description Techniques And Protocol Specification,
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. Artikel-Nr. ABNR-144363
Beispielbild für diese ISBN
Formal Description Techniques and Protocol Specification, Testing and Verification
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. pp. 580 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam. Artikel-Nr. 8361295
Neu kaufen
EUR 208,55
Versand:
EUR 7,40
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 X / PSTV XVII '97 (IFIP Advances in Information and Communication Technology)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Artikel-Nr. ria9780412820601_new
Neu kaufen
EUR 216,02
Versand:
EUR 13,65
Von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Formal Description Techniques and Protocol Specification, Testing and Verification : FORTE X / PSTV XVII '97
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - FORTE/PSTV '97 addresses Formal Description Techniques (FDTs) applicable to Distributed Systems and Communication Protocols (such as Estelle, LOTOS, SDL, ASN.1, TTCN, Z, Automata, Process Algebra, Logic). The conference is a forum for presentation of the state-of-the-art in theory, application, tools and industrialization of FDTs, and provides an excellent orientation for newcomers. Artikel-Nr. 9780412820601
Neu kaufen
EUR 225,03
Versand:
EUR 65,14
Von Deutschland nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Formal Description Techniques and Protocol Specification, Testing and Verification
Anbieter: Kennys Bookstore, Olney, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Addresses the Formal Description Techniques (FDTs) applicable to Distributed Systems and Communication Protocols (such as Estelle, LOTOS, SDL, ASN.1, TTCN, Z, Automata, Process Algebra, and Logic). Series: IFIP Advances in Information and Communication Technology. Num Pages: 561 pages, biography. BIC Classification: UTP. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 31. Weight in Grams: 984. . 1997. Hardback. . . . . Books ship from the US and Ireland. Artikel-Nr. V9780412820601