Logic and Program Semantics: Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday (Lecture Notes in Computer Science, Band 7230)

Dedicated

von: Robert L. Constable · Alexandra Silva

Taschenbuch

Details (Deutschland)

EAN=ISBN-13: 978-3-642-29484-6

ISBN-10: 3-642-29484-7

Springer · 2012