Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings

Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings / edited by Tayssir Touili, Byron Cook, Paul Jackson.

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Touili, Tayssir (Editor), Cook, Byron (Editor), Jackson, Paul (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
Edition:1st ed. 2010.
Series:Theoretical Computer Science and General Issues ; 6174
Springer eBook Collection.
Subjects:
Computer logic.
Software engineering.
Programming languages (Electronic computers).
Mathematical logic.
Artificial intelligence.
Computer communication systems.
Electronic resources (E-books)
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Description
Physical Description:XVI, 676 p. 169 illus. online resource.
ISBN:9783642142956
DOI:10.1007/978-3-642-14295-6

Similar Items