Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I (Volume 9206)
📄 Viewing lite version
Full site ›
⌛ 🇫🇷 France pricing being fetched…
Prices will appear once fetched — usually within a few minutes.
Book Details
Author(s)Kroening, Daniel
ISBN / ASIN3319216899
ISBN-139783319216898
CategoryPaperback
MarketplaceFrance 🇫🇷
More Books in Paperback
Nightmare Hour TV Tie-in Edition: Time for Terror
View
First Light: Prayers from New Christian Communities
View
The Miles Between
View
Prize Stories 1990: The O. Henry Awards
View
Democracy Begins Between Two
View
The Model Locomotive Engineer, Fireman, and Engine Boy
View
Bloodline in the Sand
View
Making America, Volume A, Brief, 2nd Ed + Perfect Unio…
View
Becoming a Master Student, 11th Ed + Myers-brigg Type …
View