Open Library logo
New Feature: You can now embed Open Library books on your website!   Learn More
Last edited by Open Library Bot
December 5, 2010 | History

Formal techniques for networked and distributed systems 2 editions

Cover of: Formal techniques for networked and distributed systems | FORTE 2001 (2001 Cheju-do, Korea)
About the Book

This book presents the latest worldwide results in theory and practice of formal techniques for networked and distributed systems. The theme of the book 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. Formal Techniques for Networked and Distributed Systems will be essential reading for researchers and engineers working in the fields of communications, test equipment R&D, and telecommunications, as well as to software engineering tool developers.

2 editions First published in 2001

Edition Read Locate Buy
Cover of: Formal Techniques for Networked and Distributed Systems
2002, Kluwer Academic Publishers
Formal Techniques for Networked and Distributed Systems
Electronic resource in English
Cover of: Formal techniques for networked and distributed systems
2001, Kluwer Academic Publishers
Formal techniques for networked and distributed systems
in English

History

Download catalog record: RDF / JSON
December 5, 2010 Edited by Open Library Bot Added subjects from MARC records.
June 17, 2010 Edited by ImportBot add details from OverDrive
April 28, 2010 Edited by Open Library Bot Linked existing covers to the work.
December 10, 2009 Created by WorkBot add works page