Browse Results

Showing 2,901 through 2,925 of 62,317 results
Title Author ISBN Copyright Features Action
Verified Software: 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers (Lecture Notes in Computer Science #8164) 2865789 Ernie Cohen Andrey Rybalchenko 9783642541087 2014
Verified Software: 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers (Lecture Notes in Computer Science #8471) 2817907 Dimitra Giannakopoulou Daniel Kroening 9783319121543 2014 Contains images
Verified Software: 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers (Lecture Notes in Computer Science #9593) 2839456 Arie Gurfinkel Sanjit A. Seshia 9783319296135 2016 Contains images
Verified Software: 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 Proceedings (Lecture Notes in Computer Science #7152) 4803455 Rajeev Joshi Peter Müller Andreas Podelski 9783642277054 2012
Verified Software: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings (Lecture Notes in Computer Science #5295) 4676158 Natarajan Shankar Jim Woodcock 9783540878735 2008
Verificationism: Its History and Prospects (Philosophical Issues in Science) 3507747 C.J. Misak 9781134800353 1995
Verificationism: Its History and Prospects (Philosophical Issues in Science) 3509164 C.J. Misak 9781134800346 1995 Contains images
Verification of Sequential and Concurrent Programs (Texts in Computer Science) 4782648 Krzysztof R. Apt Frank S. de Boer Ernst-Rüdiger Olderog 9781848827455 2009
Verification of Sequential and Concurrent Programs (Texts in Computer Science) 3794809 Krzysztof R. Apt Ernst-Rüdiger Olderog 9781475727142 1997
Verification of Sequential and Concurrent Programs (Monographs in Computer Science) 3797241 Krzysztof R. Apt Ernst-Rüdiger Olderog 9781475743760 1991
Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series) 4624897 Klaus Schneider 9783662107782 2004
Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino (Lecture Notes in Computer Science #4334) 4759783 Bernhard Beckert Reiner Hähnle Peter H. Schmitt 9783540690610 2007
Verification, Model Checking, and Abstract Interpretation: 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings (Lecture Notes in Computer Science #10145) 2238939 Ahmed Bouajjani David Monniaux 9783319522340 2017 Contains images
Verification, Model Checking, and Abstract Interpretation: 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings (Lecture Notes in Computer Science #10747) 2257420 Isil Dillig Jens Palsberg 9783319737218 2018
Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings (Lecture Notes in Computer Science #8931) 2882229 Deepak D'Souza Akash Lal Kim Gulstrand Larsen 9783662460818 2015
Verification, Model Checking, and Abstract Interpretation: 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, Proceedings (Lecture Notes in Computer Science #13182) 4425489 Bernd Finkbeiner Thomas Wies 9783030945831 2022 Contains images
Verification, Model Checking, and Abstract Interpretation: 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings (Lecture Notes in Computer Science #7737) 4673419 Roberto Giacobazzi Josh Berdine Isabella Mastroeni 9783642358739 2013
Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings (Lecture Notes in Computer Science #6538) 4611940 Ranjit Jhala David Schmidt 9783642182754 2011
Verification, Model Checking, and Abstract Interpretation: 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings (Lecture Notes in Computer Science #9583) 2887971 Barbara Jobstmann K. Rustan M. Leino 9783662491225 2016 Contains images
Verification, Model Checking, and Abstract Interpretation: 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings (Lecture Notes in Computer Science #7148) 4600091 Viktor Kuncak Andrey Rybalchenko 9783642279409 2012
Verification, Model Checking, and Abstract Interpretation: 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings (Lecture Notes in Computer Science #8318) 2865665 Kenneth L. McMillan Xavier Rival 9783642540134 2014
Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday (Lecture Notes in Computer Science #6463) 4602527 Simon Siegler Nathan Wasser 9783642171727 2010
Verification and Evaluation of Computer and Communication Systems: 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings (Lecture Notes in Computer Science #11181) 2243092 Mohamed Faouzi Atig Saddek Bensalem Simon Bliudze Bruno Monsuez 9783030003593 2018 Contains images
Verification and Evaluation of Computer and Communication Systems: 14th International Conference, VECoS 2020, Xi'an, China, October 26–27, 2020, Proceedings (Lecture Notes in Computer Science #12519) 3875176 Belgacem Ben Hedia Yu-Fang Chen Gaiyun Liu Zhenhua Yu 9783030659554 2020 Contains images
Verification and Control of Hybrid Systems: A Symbolic Approach 3859000 Paulo Tabuada 9781441902245 2009

Refine Search

Showing 2,901 through 2,925 of 62,317 results