An edition of Computer aided verification (2004)

Computer Aided Verification

16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings

Rajeev Alur, Doron A. Peled, R ...

Not in Library

My Reading Lists:

Use this Work

Check nearby libraries

Buy this book

Last edited by ImportBot

February 25, 2022 | History

Edit

An edition of Computer aided verification (2004)

This edition doesn't have a description yet. Can you add one?

Publish Date

2004

Publisher

Springer London, Limited

Language

English

Check nearby libraries

Buy this book

Showing 2 featured editions. View all 2 editions?

Edition	Availability
1 Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings 2004, Springer London, Limited in English 3540278133 9783540278139	aaaa Not in Library Libraries near you: WorldCat
2 Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings (Lecture Notes in Computer Science) August 17, 2004, Springer Paperback in English - 1 edition 3540223428 9783540223429	zzzz Not in Library Libraries near you: WorldCat