An edition of Computer Aided Verification (2015)

Computer Aided Verification

27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II

Daniel Kroening, Corina S. Păs ...

Not in Library

My Reading Lists:

Use this Work

Check nearby libraries

Buy this book

Last edited by ImportBot

October 5, 2021 | History

Edit

An edition of Computer Aided Verification (2015)

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

Publish Date

2015

Publisher

Springer London, Limited

Language

English

Pages

469

Check nearby libraries

Buy this book

Showing 4 featured editions. View all 4 editions?

Edition	Availability
1 Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I Jul 27, 2015, Springer paperback 3319216899 9783319216898	zzzz Not in Library Libraries near you: WorldCat
2 Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I 2015, Springer London, Limited in English 3319216902 9783319216904	zzzz Not in Library Libraries near you: WorldCat
3 Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II 2015, Springer London, Limited in English 3319216686 9783319216683	aaaa Not in Library Libraries near you: WorldCat
4 Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II Jul 23, 2015, Springer paperback 3319216678 9783319216676	zzzz Not in Library Libraries near you: WorldCat