Title:
Verification of Sequential and Concurrent Programs
Author:
Apt, Krzysztof R. author.
ISBN:
9781848827455
Physical Description:
XXIV, 502p. 26 illus. online resource.
Series:
Texts in Computer Science,
Series Title:
Texts in Computer Science, 1868-0941
Added Corporate Author:
Electronic Access:
http://dx.doi.org/10.1007/978-1-84882-745-5Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
---|---|---|---|---|---|
Searching... | E-Book | 176056-2001 | ONLINE | Searching... | Searching... |