![Cover image for Tools for Practical Software Verification LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures Cover image for Tools for Practical Software Verification LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures](/client/assets/5.0.0.9/ctx//client/images/no_image.png)
Title:
Tools for Practical Software Verification LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures
Author:
Meyer, Bertrand. editor.
ISBN:
9783642357466
Physical Description:
VIII, 183 p. 31 illus. online resource.
Series:
Lecture Notes in Computer Science, 7682
Series Title:
Lecture Notes in Computer Science, 0302-9743 ; 7682
Added Author:
Added Corporate Author:
Electronic Access:
http://dx.doi.org/10.1007/978-3-642-35746-6Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
---|---|---|---|---|---|
Searching... | E-Book | 197634-2001 | ONLINE | Searching... | Searching... |