logo
Wrong email address or username
Wrong email address or username
Incorrect verification code
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
Verified Software: Theories, Tools, Experiments: 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 Proceedings
by: (author) (author) (author)
Format: paperback
ISBN: 9783642277047 (3642277047)
Publisher: Springer
Pages no: 325
Edition language: English
Bookstores:
Books by Péter Müller
Hot Property - Péter Müller Hot Property - Péter Müller
Crystal Structure Refinement: A Crystallographer's Guide to SHELXL [With CDROM] - Péter Müller
Frontiers of Statistical Decision Making and Bayesian Analysis: In Honor of James O. Berger - Ming-Hui Chen, Dipak K. Dey, Péter Müller, Dongchu Sun, Keying Ye
An der Front der Menschlichkeit: das Rot... An der Front der Menschlichkeit: das Rote Kreuz heute - Péter Müller
Jakob Michael Reinhold Lenz Im Urteil Dr... Jakob Michael Reinhold Lenz Im Urteil Dreier Jahrhunderte: Texte Der Rezeption Von Werk Und Personlichkeit, 18.-20. Jahrhundert - Péter Müller
WiMAX Security and Quality of Service: An End-To-End Perspective - Seok-Yee Tang, Péter Müller, Hamid Sharif
Schwarzes Loch (German Edition) - Péter Müller
Palaces of Vienna - Wolfgang Kraus, Péter Müller
Maschinenliebe (German Edition) - Péter Müller
Fast Track Jobs Accpa - Péter Müller Fast Track Jobs Accpa - Péter Müller
Books by 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
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
Books by Rajeev Joshi
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
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.