Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday (Lecture Notes in Computer Science, Band 9660)

Dedicated

von: Erika Ábrahám · Marcello Bonsangue · Einar Broch Johnsen

Taschenbuch

ISBN-13: 978-3-319-30733-6

ISBN-10: 3-319-30733-9

Springer · 2016