Editors:
- Published in memory of Harald Ganzinger
- Up-to-date results in programming logics
- Contains papers covering all fields Harald Ganzinger worked on during his career
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 7797)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (17 chapters)
-
Front Matter
-
Back Matter
About this book
Editors and Affiliations
-
University of Manchester, Manchester, UK
Andrei Voronkov
-
Max-Planck-Institut für Informatik, Saarbrücken, Germany
Christoph Weidenbach
Bibliographic Information
Book Title: Programming Logics
Book Subtitle: Essays in Memory of Harald Ganzinger
Editors: Andrei Voronkov, Christoph Weidenbach
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-642-37651-1
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag Berlin Heidelberg 2013
Softcover ISBN: 978-3-642-37650-4Published: 03 April 2013
eBook ISBN: 978-3-642-37651-1Published: 05 April 2013
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: X, 447
Number of Illustrations: 69 b/w illustrations
Topics: Mathematical Logic and Formal Languages, Artificial Intelligence, Programming Techniques, Logics and Meanings of Programs, Computer Imaging, Vision, Pattern Recognition and Graphics