Items related to Formal Description Techniques VII (IFIP Advances in...
Formal Description Techniques VII (IFIP Advances in Information and Communication Technology) - Hardcover
Synopsis
This book presents the latest research in formal techniques for distributed systems, including material on theory, applications, tools and industrial usage of formal techniques.
"synopsis" may belong to another edition of this title.
Product Description
This book presents the latest research in formal techniques for distributed systems, including material on theory, applications, tools and industrial usage of formal techniques.
Review
Although this is a multi-author production, the subject matter is so concise that the usual pitfall of superficially covering too many different issues has been prevented ... A very technical but concise reference book - Network
"About this title" may belong to another edition of this title.
Search results for Formal Description Techniques VII (IFIP Advances in...
Stock Image
Formal Description Techniques for Distribution Systems and Communication Protocols
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
Condition: New. Presents the research in formal techniques for distributed systems, including material on theory, applications, tools and industrial usage of formal techniques. Editor(s): Hogrefe, Dieter; Leue, S. Series: IFIP Advances in Information and Communication Technology. Num Pages: 536 pages, black & white illustrations. BIC Classification: PHDS; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 30. Weight in Grams: 2050. . 1995. Hardback. . . . . Seller Inventory # V9780412644504
Stock Image
Formal Description Techniques VII
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 7780317-n
Stock Image
Formal Description Techniques for Distribution Systems and Communication Protocols
Seller: Kennys Bookstore, Olney, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Presents the research in formal techniques for distributed systems, including material on theory, applications, tools and industrial usage of formal techniques. Editor(s): Hogrefe, Dieter; Leue, S. Series: IFIP Advances in Information and Communication Technology. Num Pages: 536 pages, black & white illustrations. BIC Classification: PHDS; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 30. Weight in Grams: 2050. . 1995. Hardback. . . . . Books ship from the US and Ireland. Seller Inventory # V9780412644504
Seller Image
Formal Description Techniques VII
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Gebunden. Condition: New. This book presents the latest research in formal techniques for distributed systems, including material on theory, applications, tools and industrial usage of formal techniques.Preface. Invited talk. New techniques. Applications. FDTs go commercial. . Seller Inventory # 458435166
Buy New
£ 211.94
£ 40.83 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Stock Image
Formal Description Techniques VII (IFIP International Federation for Information Processing)
Seller: Mispah books, Redhill, SURRE, United Kingdom
Seller rating 4 out of 5 stars
Hardcover. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book. Seller Inventory # ERICA77304126445096
Buy Used
£ 270
£ 25 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Seller Image
Formal Description Techniques VII
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Buch. Condition: Neu. Neuware - This book presents the latest research in formal techniques for distributed systems, including material on theory, applications, tools and industrial usage of formal techniques. Seller Inventory # 9780412644504