Items related to Formal Description Techniques IX: Theory, application...
Formal Description Techniques IX: Theory, application and tools (IFIP Advances in Information and Communication Technology) - Hardcover
Synopsis
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.
"synopsis" may belong to another edition of this title.
Synopsis
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.
"About this title" may belong to another edition of this title.
Buy Used
View this item
£ 170.93
FREE shipping from Australia to United Kingdom
Destination, rates & speedsBuy New
View this item
£ 155.79
FREE shipping from U.S.A. to United Kingdom
Destination, rates & speeds
Search results for Formal Description Techniques IX: Theory, application...
Stock Image
Formal Description Techniques Ix: Theory, Application And Tools
Seller: Basi6 International, Irving, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEJUNE24-91767
Quantity: 1 available
Stock Image
Formal Description Techniques Ix: Theory, Application And Tools
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Seller rating 5 out of 5 stars
Condition: 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. Seller Inventory # ABNR-144364
Quantity: 1 available
Stock Image
Formal Description Techniques IX: Theory, application and tools (IFIP Advances in Information and Communication Technology)
Seller: ALLBOOKS1, Direk, SA, Australia
Seller rating 5 out of 5 stars
Seller Inventory # SHUB91767
Quantity: 1 available
Stock Image
Formal Description Techniques IX
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 536. Seller Inventory # 26505485
Quantity: 1 available
Stock Image
Formal Description Techniques IX
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. pp. 536 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam. Seller Inventory # 7342418
Quantity: 1 available
Seller Image
Formal Description Techniques IX : Theory, Application and Tools : Ifip Tc6/6.1 International Conference on Formal Description Techniques Ix/Protocol Specification, Testing and verifica
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 5898791-n
Quantity: Over 20 available
Stock Image
Formal Description Techniques IX
Seller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 5 out of 5 stars
Condition: New. pp. 536. Seller Inventory # 18505479
Quantity: 1 available
Seller Image
Formal Description Techniques IX
Print on DemandSeller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Gebunden. Condition: 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. Seller Inventory # 5915252
Quantity: Over 20 available
Stock Image
Formal Description Techniques IX: Theory, application and tools (IFIP Advances in Information and Communication Technology)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9780412794902_new
Quantity: Over 20 available
Seller Image
Formal Description Techniques IX : Theory, Application and Tools : Ifip Tc6/6.1 International Conference on Formal Description Techniques Ix/Protocol Specification, Testing and verifica
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 5898791-n
Quantity: Over 20 available