- We will send in 10–14 business days.
/images/books/12397816/9781848827448.jpg)
- Author: Krzysztof R Apt
- Publisher: Springer
- Year: 2009
- Pages: 502
- ISBN-10: 184882744X
- ISBN-13: 9781848827448
- Format: 15.6 x 23.4 x 2.9 cm, hardcover
- 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:36
The discount code is valid when purchasing from 10 €. Discounts do not stack.
- Author: Krzysztof R Apt
- Publisher: Springer
- Year: 2009
- Pages: 502
- ISBN-10: 184882744X
- ISBN-13: 9781848827448
- Format: 15.6 x 23.4 x 2.9 cm, hardcover
- 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