logo
Wrong email address or username
Wrong email address or username
Incorrect verification code
Computer Aided Verification: 22nd International Conference, Cav 2010, Edinburgh, UK, July 15-19, 2010, Proceedings - Tayssir Touili, Byron Cook, Paul Jackson
Computer Aided Verification: 22nd International Conference, Cav 2010, Edinburgh, UK, July 15-19, 2010, Proceedings
by: (author) (author) (author)
Format: paperback
ISBN: 9783642142949 (364214294X)
Publisher: Springer
Pages no: 676
Edition language: English
Bookstores:
Books by Paul Jackson
Black Comedy - 9 Plays: A Critical Anthology with Interviews and Essays - Pamela Faith Jackson, Jeff Nichols, Ed Bullins, Langston Hughes, Douglas Turner Ward, Charlie Russell, Ted Shine, Don Evans, George C. Wolfe, Karimah, Phyllis Yvonne Stickney, Jessie Fauset, Lofton Mitchell, Lynda M. Hill, Eugene Nesmith, Floranté Galvez, Paul Jackson, Ka
Origami Airplanes - Paul Jackson
There's No Such Truth as Just Because - Paul Jackson
The Reform of Property Law - Paul Jackson
Origami Handbook: Beautiful origami projects to delight and inspire - Paul Jackson
Ebusiness and Workplace Redesign - Paul Jackson, Reima Suomi
Masters of Origami at Hangar-7: The Art of Paperfolding - Hatje Cantz Publishers, Paul Jackson
Oracle Applications DBA Field Guide - Pa... Oracle Applications DBA Field Guide - Paul Jackson, Elke Phelps
Topics, Questions, Keywords: A Handbook ... Topics, Questions, Keywords: A Handbook for Students of German - Petra Hachenburger, Paul Jackson
Best Ever Paper Planes - Paul Jackson Best Ever Paper Planes - Paul Jackson
Books by Byron Cook
Computer Aided Verification: 22nd International Conference, Cav 2010, Edinburgh, UK, July 15-19, 2010, Proceedings - Tayssir Touili, Byron Cook, Paul Jackson
Formal Methods For Industrial Critical Systems: 14th International Workshop, Fmics 2009, Eindhoven, The Netherlands, November 2 3, 2009, Proceedings ... / Programming And Software Engineering) - María Alpuente, Byron Cook, Christophe Joubert
Verification, Model Checking, and Abstract Interpretation - Byron Cook
Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings (Lecture ... Computer Science and General Issues) - Byron Cook, Andreas Podelski
Books by Tayssir Touili
Computer Aided Verification: 22nd International Conference, Cav 2010, Edinburgh, UK, July 15-19, 2010, Proceedings - Tayssir Touili, Byron Cook, Paul Jackson
Share this Book
Copyright © 2025 BookLikes Press About Terms of Services Privacy Policy Contact Us Blog FAQ Patronaty medialne BookLikes for Authors Partners panel Team Themes Docs API Blogs
Need help?
Important: Our sites use cookies. We use the information stored using cookies and similar technologies for advertising and statistics purposes. Stored data allow us to tailor the websites to individual user's interests. Cookies may be also used by third parties cooperating with BookLikes, like advertisers, research companies and providers of multimedia applications. You can choose how cookies are handled by your device via your browser settings. If you choose not to receive cookies at any time, BookLikes will not function properly and certain services will not be provided. For more information, please go to our Privacy Policy.