search for books and compare prices
Doron Peled has written 7 work(s)
Search for other authors with the same name
displaying 1 to 7 |
at end
show results in order: alphabetically | oldest to newest | newest to oldest
Product Description: We are all increasingly dependent on software systems to run the technology we use every day, so we need these systems to be both reliable and safe.This book presents papers from the NATO Advanced Study Institute Summer School Dependable Software Systems Engineering, held in Marktoberdorf, Germany, in July and August 2014...read more
Hardcover:
9781614994947 | Ios Pr Inc, May 31, 2015, cover price $196.00 | About this edition: We are all increasingly dependent on software systems to run the technology we use every day, so we need these systems to be both reliable and safe.
Product Description: Because almost all technical systems are more or less interfaced with software these days, attacks against computer systems can cause considerable economic and physical damage. For this reason, understanding the dependability of such systems, as well as the improvement of cyber security and its development process, are amongst the most challenging and crucial issues in current computer science research...read more
Hardcover:
9781614992066 | Ios Pr Inc, August 15, 2013, cover price $196.00 | About this edition: Because almost all technical systems are more or less interfaced with software these days, attacks against computer systems can cause considerable economic and physical damage.
Product Description: ThisvolumecontainstheproceedingsoftheconferenceonComputer AidedVe- ?cation, CAV 2004,held in Boston,Massachusetts,USA, July13-17,2004.CAV 2004 was the 16th in a series of conferences dedicated to the advancement of the theory and practice of computer-assisted formal analysis methods for software and hardware systems...read more
Paperback:
9783540223429 | Springer-Verlag New York Inc, August 15, 2004, cover price $149.00 | About this edition: ThisvolumecontainstheproceedingsoftheconferenceonComputer AidedVe- ?
(view table of contents)
Hardcover:
9780387951065 | Springer-Verlag New York Inc, March 1, 2001, cover price $159.00
(view table of contents)
Hardcover:
9780262032704 | Mit Pr, January 7, 2000, cover price $72.00
Paperback:
9783540662020 | Springer-Verlag New York Inc, July 1, 1999, cover price $139.00
Product Description: What is Spin? Spin is a general tool for the specification and formal verification of software for distributed systems. It has been used to detect design errors in a wide range of applications, such as abstract distributed algorithms, data communications protocols, operating systems code, and telephone switching code...read more
Hardcover:
9780821806807 | Amer Mathematical Society, June 1, 1997, cover price $63.00 | About this edition: What is Spin?
displaying 1 to 7 |
at end