Library of American University of Madaba
Your cart is empty.
Computer aided verification : 22nd international conference, Cav 2010, Edinburgh, UK, July 15-19, 2010, proceedings / 22nd International Conference, Cav 2010, Edinburgh, UK, July 15-19, 2010, proceedings /
Authors: Touili, Tayssir%editor | Cook, Bryon%editor | Jackson, Paul B.%editor Series: Lecture notes in computer science ; . 6174 Published by : Springer, (Berlin : ) Physical details: xvi, 676 p. : ill. ISBN: 364214294X Subject(s): Computer science | Computer software %Congresses. %Verification | Electronic digital computers %Congresses. %Evaluation | Software Validation. Year: 2010
Tags from this library:
No tags from this library for this title.
| Item type | Location | Call Number | Status | Notes | Date Due |
|---|---|---|---|---|---|
 Book |
AUM Main Library English Collections Hall | 004.24 C738 (Browse Shelf) | Available | JBC/2011/9083 |
Includes bibliographical References and Index
There are no comments for this item.