Ebook: Verification of Sequential and Concurrent Programs
- Genre: Mathematics // Algorithms and Data Structures
- Tags: Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Algorithm Analysis and Problem Complexity
- Series: Texts and Monographs in Computer Science
- Year: 1991
- Publisher: Springer
- Edition: 1st
- Language: English
- pdf
Content:
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
Content:
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
....
Download the book Verification of Sequential and Concurrent Programs for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)