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, Ernst-RΓΌdiger Olderog
- Publisher
- Springer
- Year
- 1991
- Tongue
- English
- Leaves
- 451
- Series
- Texts and Monographs in Computer Science
- Edition
- 1st
- Category
- Library
β¬ Acquire This Volume
No coin nor oath required. For personal study only.
β¦ Table of Contents
Front Matter....Pages i-xvi
Front Matter....Pages 1-1
Introduction....Pages 3-19
Preliminaries....Pages 20-53
Front Matter....Pages 55-55
Deterministic Programs....Pages 57-105
Nondeterministic Programs....Pages 106-175
Front Matter....Pages 177-177
Disjoint Parallel Programs....Pages 179-206
Parallel Programs with Shared Variables....Pages 207-266
Parallel Programs with Synchronization....Pages 267-324
Front Matter....Pages 325-325
Distributed Programs....Pages 327-416
Back Matter....Pages 417-444
β¦ Subjects
Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Algorithm Analysis and Problem Complexity
π 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, Frank S. de Boer, Ernst-RΓΌdiger Olderog (auth.)
π Library
π
2009
π 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