Shelfclass_id |
4.B.3 |
Sortkey |
CAV |
Authors |
Editors: GĂ©rard Berry, Hubert Comon, Alain Finkel |
Title |
CAV 2001: Computer Aided Verification: 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001, Proceedings |
Publisher |
Springer |
Year |
2001 |
Languages |
eng |
Isbn |
3540423451, 9783540423454 |
Series |
Lecture Notes in Computer Science |
Volume |
2102 |
Issn |
0302-9743 |
Description |
xiii, 520 p. ill. 24 cm |
Record date |
20110218 |
Location |
New York |
Keywords |
Computer software, Verification, Integrated circuits, Monadic logics, Constraint solving techniques, Software documentation |
Urlnote |
Skov prenumeration erfodras |
Urls |
http://link.springer.de/link/service/series/0558/tocs/t2102.htm |