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
ISBN 10: 1475752601 ISBN 13: 9781475752601
Published by Springer, 2013
New
Soft cover
From
Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
AbeBooks Seller since March 25, 2015
This specific item is no longer available.
About this Item
Description:
In. Seller Inventory # ria9781475752601_new
Synopsis:
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.
"About this title" may belong to another edition of this title.
Bibliographic Details
Title: Formal Description Techniques and Protocol ...
Publisher: Springer
Publication Date: 2013
Binding: Soft cover
Condition: New
Top Search Results from the AbeBooks Marketplace
Seller Image
Formal Description Techniques and Protocol Specification, Testing and Verification
Print on DemandSeller: moluna, Greven, Germany
Seller rating 4 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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. Seller Inventory # 4207366
Buy New
US$ 217.78
US$ 57.52 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Seller Image
Formal Description Techniques and Protocol Specification, Testing and Verification | FORTE X / PSTV XVII '97
Seller: preigu, Osnabrück, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Formal Description Techniques and Protocol Specification, Testing and Verification | FORTE X / PSTV XVII '97 | Atsushi Togashi (u. a.) | Taschenbuch | xi | Englisch | 2013 | Springer | EAN 9781475752601 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Seller Inventory # 105582024
Buy New
US$ 225.92
US$ 82.19 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 5 available
Stock Image
Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII '97 (IFIP Advances in Information and Communication Technology)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar2716030093573
Seller Image
Formal Description Techniques and Protocol Specification, Testing and Verification
Published by
Springer US, Springer New York Jan 2013, 2013
ISBN 10: 1475752601
ISBN 13: 9781475752601
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 568 pp. Englisch. Seller Inventory # 9781475752601
Buy New
US$ 258.81
US$ 70.45 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available
Seller Image
Formal Description Techniques and Protocol Specification, Testing and Verification
Print on DemandSeller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 568 pp. Englisch. Seller Inventory # 9781475752601
Buy New
US$ 258.81
US$ 27.01 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 2 available
Seller Image
Formal Description Techniques and Protocol Specification, Testing and Verification : FORTE X / PSTV XVII '97
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: 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. Seller Inventory # 9781475752601
Buy New
US$ 266.43
US$ 75.44 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available