Model Checking, Synthesis, and Learning

Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday

Produktform: Buch / Einband - flex.(Paperback)

This Festschrift, dedicated to Bengt Jonsson on the occasion of his 60th birthday, contains papers written by many of his friends and collaborators. weiterlesen

Dieser Artikel gehört zu den folgenden Serien

Theoretical Computer Science and General Issues
Lecture Notes in Computer Science

Sprache(n): Englisch

ISBN: 978-3-030-91383-0 / 978-3030913830 / 9783030913830

Verlag: Springer International Publishing

Erscheinungsdatum: 22.11.2021

Seiten: 219

Auflage: 1

Herausgegeben von Bernhard Steffen, Wang Yi, Ernst-Rüdiger Olderog

69,54 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zurück