Verification of Sequential and Concurrent Programs

by Frank S. de Boer, Ernst-Rüdiger Olderog, Krzysztof R. Apt

Book Overview

Part I: In the Beginning Introduction Preliminaries Part II: Deterministic Programs while Programs Recursive Programs Recursive Programs with Parameters Object-Oriented Programs Part III: Parallel Programs Disjoint Parallel Programs Parallel Programs with Shared Variables Parallel Programs with Synchronization Part IV: Nondeterministic and Distributed Programs Nondeterministic Programs Distributed Programs Fairness

• Format: Paperback
• Language: English
• ISBN: 1447125134
• ISBN13: 9781447125136
• Release Date: March 2012
• Publisher: Springer
• Length: 502 Pages
• Weight: 1.61 lbs.
• Dimensions: 1.1" x 6.1" x 9.2"