Normal view MARC view ISBD view

Verification of sequential and concurrent programs

Krzysztof R. Apt

Verification of sequential and concurrent programs - 3rd ed. - Springer c2009 - xxii, 502p. - Texts in computer science .

SAR/155/09, Date: 18.11.2009

ISBN: 9781848827448 (HB)

Subjects--Topical Terms:
COMPUTER SOFTWARE – VERIFICATION

Dewey Class. No.: 005.14 APT(VER)

Place hold
Print
Suggest for purchase
Send to device
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)