This book presents the latest research in formal techniques for distributed systems, including material on theory, applications, tools and industrial usage of formal techniques.
Rezensionen / Stimmen
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
Reihe
Auflage
Softcover reprint of the original 1st ed. 1995
Sprache
Verlagsort
Zielgruppe
Illustrationen
Maße
Höhe: 235 mm
Breite: 155 mm
ISBN-13
978-1-5041-2881-0 (9781504128810)
DOI
10.1007/978-0-387-34878-0
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Klassifikation
Preface. Invited talk. New techniques. Applications. FDTs go commercial. Verification. Verification and real-time. Semantics. Testing and performace. Refinement. Index of contributors. Keyword index.
