Image from Amazon.com
Verification of sequential and concurrent programs [electronic resource] / by Krzysztof R. Apt, Frank S. Boer, Ernst-Rudiger Olderog.
Series: Texts in computer sciencePublication details: London : Springer-Verlag London, 2009.Edition: 3rd edDescription: 502 p. : ill., digital ; 24 cmISBN:- 9781848827455 (electronic bk.)
- 005.14 22
- QA76.76.V47 A67 2009
No physical items for this record
There are no comments on this title.
Log in to your account to post a comment.