Delivery included to the United States

Verification of Sequential and Concurrent Programs

Verification of Sequential and Concurrent Programs

Paperback (05 Dec 2012)

  • $61.22
Add to basket

Includes delivery to the United States

10+ copies available online - Usually dispatched within 7 days

Publisher's Synopsis

Verification of Sequential and Concurrent Programs

Book information

ISBN: 9781475727159
Publisher: Springer Nature B.V.
Imprint: Springer Nature B.V.
Pub date:
Number of pages: 388
Weight: 673g
Height: 254mm
Width: 178mm