Skip to main content

CURRENTLY SOLD OUT

Formal Techniques for Networked and Distributed Systems: FORTE 2001 by Byoungmoon Chin, Myungchul Kim, Sungwon Kang, Danhyung Lee (Hardcover, 2001)

About this product

About this product

Product Information

This work presents the latest world-wide results in theory and practice of formal techniques for networked and distributed systems. Its theme is addressed by specialized papers in the following areas: formal methods in software development, process algebra, timed automata, theories and applications of verification, distributed systems testing, test sequence derivation. In addition, the last part of the book contains special contributions by leading researchers in the above areas to add breadth and give more perspectives to the results. This volume contains the selected proceedings of the International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2001), which was sponsored by the International Federation for Information Processing (IFIP) and held in Cheju Island, Korea in August 2001. FORTE 2001 combines two prestigious conferences, FORTE (Formal Description Techniques for Distributed Systems and Communication Protocols) and PSTV (Protocol Specification Testing and Verification), and has more than 20 years of history.

Product Identifiers

Publisher
Springer
ISBN-13
9780792374701
eBay Product ID (ePID)
95779610

Product Key Features

Subject Area
Electrical Engineering
Author
Byoungmoon Chin, Myungchul Kim, Sungwon Kang, Danhyung Lee
Publication Name
Formal Techniques for Networked and Distributed Systems: Forte 2001
Format
Hardcover
Language
English
Subject
Computer Science
Publication Year
2001
Type
Textbook
Number of Pages
464 Pages

Dimensions

Item Height
235mm
Item Width
155mm
Volume
69
Item Weight
1850g

Additional Product Features

Series Title
Ifip Advances in Information and Communication Technology
Editor
Sungwon Kang, Danhyung Lee, Myungchul Kim, Byoungmoon Chin
Country/Region of Manufacture
Netherlands

Best Selling in Adult Learning & University

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Best Selling in Adult Learning & University

Maps of Meaning: The Architecture of Belief by Jordan B. Peterson (1999, Paperback)
5.0 out of 5 stars based on 10 product ratings
AU $30.50 New
---- Used
Eduqas GCSE (9-1) Religious Studies Route B: Catholic Christianity and Judaism by Deirdre Cleary, Andrew Barron, Joy White, Patrick Harrison (Paperback, 2017)
No ratings or reviews yet.
AU $100.97 New
---- Used
Aradale: The Making of a Haunted Asylum by Nathaniel Buchanan, David Waldron, Sharn Waldron (Paperback, 2020)
No ratings or reviews yet.
AU $37.32 New
---- Used
Silent Spring by Rachel Carson (Paperback, 2000)
4.3 out of 5 stars based on 3 product ratings
AU $24.95 New
---- Used
Understanding and Treating Chronic Shame: Healing Right Brain Relational Trauma by Patricia A. DeYoung (Paperback, 2021)
No ratings or reviews yet.
AU $68.81 New
---- Used
Time Management by Peter Quarry (Paperback, 1986)
No ratings or reviews yet.
AU $16.99 New
---- Used

Save on Adult Learning & University

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Save on Adult Learning & University

The Australian Native Bee Hive Book: Keeping Stingless Sugarbag OATH Tim Heard
AU $31.98
Trending at AU $35.48
Netter Atlas of Human Anatomy: Classic Regional Approach
AU $113.94
Trending at AU $121.82
Havard's Nursing Guide to Drugs
AU $74.99
Trending at AU $76.54
George Hrabovsky Leonard Susskind Classical Mechanics (Paperback)
AU $27.49
Trending at AU $31.51
Robert A. Monroe Journeys Out of the Body (Paperback) Journeys Trilogy
AU $32.42
Trending at AU $37.19
The Indoctrinated Brain: How to Successfully Fend Off the Global Attack on Your
AU $49.95
Trending at AU $57.68

You may also like

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- You may also like