|
Searching ... |
0 % | |||
Lecture Notes in Computer Science Verification, Model Checking, and Abstract Interpretation : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings 7737 by Roberto Giacobazzi, Joshua Berdine, Isabella Mastroeni Paperback, 556 Pages, Published 2013 by Springer ISBN-13: 978-3-642-35872-2, ISBN: 3-642-35872-1 |
Program Logics for Certified Compilers(1st Edition) by Andrew W. Appel , Aquinas Hobor , Robert Dockins , Lennart Beringer , Josiah Dodds , Gordon Stewart , Sandrine Blazy , Xavier Leroy Hardcover, 472 Pages, Published 2014 by Cambridge University Press ISBN-13: 978-1-107-04801-0, ISBN: 1-107-04801-X |
Foundations of Software Science and Computational Structures 9th International Conference, FOSSACS 2006, Held as Part of the Joint European ... (Lecture Notes in Computer Science) by Luca Aceto , Anna Ingólfsdóttir , Anna Ttir Paperback, 447 Pages, Published 2010 by Springer ISBN-13: 978-3-540-33045-5, ISBN: 3-540-33045-3 |
Verification, Model Checking, and Abstract Interpretation 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings by Roberto Giacobazzi , Josh Berdine , Isabella Mastroeni 556 Pages, Published 2013 by Springer ISBN-13: 978-3-642-35873-9, ISBN: 3-642-35873-X |
How to Use Objects Code and Concepts by Holger Gast 832 Pages, Published 2015 by Addison-Wesley Professional ISBN-13: 978-0-13-383999-9, ISBN: 0-13-383999-0 |
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings by Ken Mcmillan , Aart Middeldorp , Andrei Voronkov 794 Pages, Published 2013 by Springer ISBN-13: 978-3-642-45221-5, ISBN: 3-642-45221-3 |
Lecture Notes in Computer Science Automated Reasoning : 7th International Joint Conference, IJCAR 2014, Held As Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings 8562 by Stéphane Demri , Deepak Kapur , Christoph Weidenbach 528 Pages, Published 2014 by Springer ISBN-13: 978-3-319-08587-6, ISBN: 3-319-08587-5 |
Programming Languages and Systems 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and ... (Lecture Notes in Computer Science) by David Schmidt Paperback, 420 Pages, Published 2004 by Springer ISBN-13: 978-3-540-21313-0, ISBN: 3-540-21313-9 |
Lecture Notes in Computer Science Computer Science Logic : 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September 2471 by Julian Bradfield 628 Pages, Published 2006 by Springer ISBN-13: 978-3-540-45793-0, ISBN: 3-540-45793-3 |
Lecture Notes in Computer Science Ser. FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science : 22nd Conference Kanpur, India, December 12-14, 2002, Proceedings 2556 by Manindra Agrawal , Anil Seth 368 Pages, Published 2003 by Springer ISBN-13: 978-3-540-36206-7, ISBN: 3-540-36206-1 |
Joshua Berdine