9780412820601 - formal description techniques and protocol specification, testing and verification: forte x / pstv xvii ’97 (ifip advances in information and communication technology) von togashi, atsushi; mizuno, tadanori; shiratori, norio; higashino, teruo (6 Ergebnisse)
Formal Description Techniques And Protocol Specification,
Togashi, Atsushi; Mizuno, Tadanori; Shiratori, Norio; Higashino, Teruo
- Hardcover
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USARomtrade Corp.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 151,83
Versand nach gratisVersand innerhalb von USAAnzahl: 1 verfügbar
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.
- Hardcover
Anbieter: Majestic Books, Hounslow, Vereinigtes KönigreichMajestic Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht
EUR 231,62
EUR 7,63 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Zustand: Used. pp. 580 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam.
Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII '97 (IFIP Advances in Information and Communication Technology)
Togashi, Atsushi; Mizuno, Tadanori; Shiratori, Norio; Higashino, Teruo
- Hardcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 228,53
EUR 14,06 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Hardcover
Anbieter: Biblios, frankfurt am main, HESSE, DeutschlandBiblios
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht
EUR 235,36
EUR 9,95 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Zustand: Used. pp. 580.
- Hardcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 225,03
EUR 65,14 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
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 st…ate-of-the-art in theory, application, tools and industrialization of FDTs, and provides an excellent orientation for newcomers.
Formal Description Techniques and Protocol Specification, Testing and Verification
Togashi, Atsushi; Mizuno, Tadanori; Shiratori, Norio; Higashino, Teruo
- Hardcover
Anbieter: Kennys Bookstore, Olney, MD, USAKennys Bookstore
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 332,95
EUR 9,20 VersandVersand innerhalb von USAAnzahl: 15 verfügbar
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.
