Library of American University of Madaba
Your cart is empty.
Verification, model checking, and abstract interpretation : 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, proceedings /
Authors: Barthe, Gilles%editor | Hermenegildo, Manuel%editor Series: Lecture notes in computer science ; . 5944 Published by : Springer, (Berlin : ) Physical details: x, 395 p. : ill ISBN: 3642113184 Subject(s): Computer programs %Congresses. %Verification | 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 | 005.14 V519 (Browse Shelf) | Available | JBC/2011/9089 |
Includes bibliographical references and index
There are no comments for this item.