logo
Wrong email address or username
Wrong email address or username
Incorrect verification code
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
Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings (Lecture ... Computer Science and General Issues)
by: (author) (author)
Format: kindle
ASIN: B001D74BU4
Publisher: Springer
Pages no: 404
Edition language: English
Bookstores:
Books by Andreas Podelski
Constraint Programming: Basics and Trends: 1994 Chatillon Spring School, Chatillon-Sur-Seine, France, May 16 - 20, 1994. Selected Papers - Andreas Podelski
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
Tree Automata and Languages - M. Nivat, Andreas Podelski
Constraint Programming: Basics and Trend... Constraint Programming: Basics and Trends: 1994 Chatillon Spring School, Chatillon-Sur-Seine, France, May 16-20, 1994: Selected Papers - Andreas Podelski
Verified Software: Theories, Tools, Experiments: 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 Proceedings - Rajeev Joshi, Péter Müller, Andreas Podelski
Constraint Programming: Basics and Trend... Constraint Programming: Basics and Trends: 1994 Chatillon Spring School, Chatillon-sur-Seine, France, May 16 - 20, 1994. Selected Papers (Lecture Notes in Computer Science) - Andreas Podelski
Books by Byron Cook
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
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.