Verification of sequential and concurren
β Krzysztof R. Apt, Frank S. de Boer, Ernst-RΓΌdiger Olderog
π Library
π
2009
π Springer
π English
β¦ LIBER β¦
π
Verification of Sequential and Concurrent Programs
β Scribed by Krzysztof R. Apt, Frank S. de Boer, Ernst-RΓΌdiger Olderog (auth.)
- Publisher
- Springer
- Year
- 2009
- Tongue
- English
- Leaves
- 502
- Edition
- 3
- Category
- Library
β¬ Acquire This Volume
No coin nor oath required. For personal study only.
β¦ Subjects
Mathematical Logic and Formal Languages
π SIMILAR VOLUMES
Verification of Sequential and Concurren
β Krzysztof R. Apt, Ernst-RΓΌdiger Olderog
π Library
π
1997
π Springer
π English
Verification of Sequential and Concurren
β Krzysztof R. Apt, Frank S. de Boer, Ernst-RΓΌdiger Olderog
π Library
π
2009
π Springer
π English
<p><P>Computer programs are an indispensable part of many of the systems we rely upon in our daily lives, and the proper functioning and safety of these systems is of paramount importance. The development of methods that ensure program correctness is therefore a key challenge for computer scientists
Verification of Sequential and Concurren
β Krzysztof R. Apt, Ernst-RΓΌdiger Olderog
π Library
π
1991
π Springer
π English
Specification and Verification of Concur
β Pierre America (auth.), C. Rattray MSc (eds.)
π Library
π
1990
π Springer-Verlag London
π English
<p>This volume contains papers presented at the BCS-FACS Workshop on Specification and Verification of Concurrent Systems held on 6-8 July 1988, at the University of Stirling, Scotland. Specification and verification techniques are playing an increasingly important role in the design and production
Sequential Logic Testing and Verificatio
β Abhijit Ghosh, Srinivas Devadas, A. Richard Newton (auth.)
π Library
π
1992
π Springer US
π English
<p>In order to design and build computers that achieve and sustain high performance, it is essential that reliability issues be considered careΒ fully. The problem has several aspects. Certainly, considering reliability implies that an engineer must be able to analyze how design decisions affect the