Programming Logics: Essays in Memory of Harald Ganzinger (Lecture Notes in Computer Science, Band 7797)

Weidenbach

von: Andrei Voronkov · Christoph Weidenbach

Taschenbuch

Details (Deutschland)

ISBN-13: 978-3-642-37650-4

ISBN-10: 3-642-37650-9

Springer · 2013