- We will send in 10–14 business days.
/images/books/9904129/9781447125136.jpg)
- Author: Krzysztof R Apt
- Publisher: Springer
- ISBN-10: 1447125134
- ISBN-13: 9781447125136
- Format: 15.6 x 23.4 x 2.7 cm, softcover
- Language: English
- SAVE -10% with code: EXTRA
Verification of Sequential and Concurrent Programs (e-book) (used book) | bookbook.eu
Reviews
Description
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
EXTRA 10 % discount with code: EXTRA
The promotion ends in 20d.22:33:33
The discount code is valid when purchasing from 10 €. Discounts do not stack.
- Author: Krzysztof R Apt
- Publisher: Springer
- ISBN-10: 1447125134
- ISBN-13: 9781447125136
- Format: 15.6 x 23.4 x 2.7 cm, softcover
- Language: English English
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
Reviews