Publisher's Synopsis
Verification of Sequential and Concurrent Programs
Paperback (05 Dec 2012)
Includes delivery to the United States
10+ copies available online - Usually dispatched within 7 days
Verification of Sequential and Concurrent Programs
ISBN: | 9781475727159 |
Publisher: | Springer Nature B.V. |
Imprint: | Springer Nature B.V. |
Pub date: | 05 Dec 2012 |
Number of pages: | 388 |
Weight: | 673g |
Height: | 254mm |
Width: | 178mm |