Cover Image

Computer Aided Verification 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings /

This volume contains the proceedings of the International Conference on Computer Aided Veri?cation (CAV), held in Edinburgh, Scotland, July 6–10, 2005. CAV 2005 was the seventeenth in a series of conferences dedicated to the advancement of the theory and practice of computer-assisted formal an- ysis...

Full description

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Etessami, Kousha. (Editor, http://id.loc.gov/vocabulary/relators/edt), Rajamani, Sriram K. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Format: Electronic eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.
Edition:1st ed. 2005.
Series:Theoretical Computer Science and General Issues ; 3576
Subjects:
Computer logic.
Software engineering.
Mathematical logic.
Artificial intelligence.
Logic design.
Logics and Meanings of Programs.
Software Engineering.
Mathematical Logic and Formal Languages.
Artificial Intelligence.
Logic Design.
Online Access:https://doi.org/10.1007/b138445
Tags: Add Tag
No Tags, Be the first to tag this record!

Internet

https://doi.org/10.1007/b138445

Similar Items