.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Formal Description Techniques for Distribution Systems and Communication Protocols
. Ed(S): Hogrefe, Dieter; Leue, S.
€ 269.07
FREE Delivery in Ireland
Description for Formal Description Techniques for Distribution Systems and Communication Protocols
Hardback. 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.
This book presents the latest research in formal techniques for distributed systems, including material on theory, applications, tools and industrial usage of formal techniques.
This book presents the latest research in formal techniques for distributed systems, including material on theory, applications, tools and industrial usage of formal techniques.
Product Details
Format
Hardback
Publication date
1995
Publisher
Chapman and Hall United Kingdom
Number of pages
536
Condition
New
Series
IFIP Advances in Information and Communication Technology
Number of Pages
522
Place of Publication
London, United Kingdom
ISBN
9780412644504
SKU
V9780412644504
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Formal Description Techniques for Distribution Systems and Communication Protocols
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