Rigorous Development of Complex Fault-Tolerant Systems (Lecture Notes in Computer Science)
Contributors: Michael Butler (Editor); Cliff Jones (Editor); Alexander Romanovsky (Editor); Elena Troubitsyna (Editor)
Edition: 1 edition
Publisher: Springer
Published: February 2, 2007
Language: eng
Format: Paperback
Number of pages: 403
ISBN-13: 9783540482659
Subjects: Systems analysis & design; Computers; Computers - Communications / Networking; Computer Books: General; Programming - Software Development; Programming Languages - General; Computers / Networking / General; agent-oriented software engineering; concurrent systems; dependability; distributed systems; error handling; exception handling; exception management; fault handling; fault tolerance; formal methods; language design; Networking - General; Programming - General