Details Of The Book

Computer Aided Verification: 7th International Conference, CAV '95 Liège, Belgium, July 3–5, 1995 Proceedings

edition: [1 ed.] 
Authors: Randal E. Bryant (auth.),  Pierre Wolper (eds.)  
serie: Lecture Notes in Computer Science 939 
ISBN : 3540600450, 9783540600459 
publisher: Springer-Verlag Berlin Heidelberg 
publish year: 1995 
pages: 456
[462] 
language: English 
ebook format : DJVU (It will be converted to PDF, EPUB OR AZW3 if requested by the user) 
file size: 4 Mb 

You can Download Computer Aided Verification: 7th International Conference, CAV '95 Liège, Belgium, July 3–5, 1995 Proceedings Book After Make Payment, According to the customer's request, this book can be converted into PDF, EPUB, AZW3 and DJVU formats.

Abstract Of The Book

Comments Of The Book

Random Books

Tomb Raiders and Space Invaders: Videogame Forms and Contexts

10 8.8 $

Towards a Strategic Management and Decision Technology: Modern Approaches to Organizational Planning and Positioning

13 10.4 $

How We Got to Now: Six Innovations That Made the Modern World

19 13.68 $

Professor Sonntag's thrilling narrative of the Grinnell exploring expedition to the Arctic Ocean, in the years 1853, 1854, and 1855, in search of Sir John Franklin un der the command of Dr. E. K. Kane

15 13.2 $

The History of England

11 8.91 $