Model Checking, Synthesis, and Learning

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

Produktform: E-Buch Text Elektronisches Buch in proprietärem

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

Lecture Notes in Computer Science
Theoretical Computer Science and General Issues

Elektronisches Format: PDF

Sprache(n): Englisch

ISBN: 978-3-030-91384-7 / 978-3030913847 / 9783030913847

Verlag: Springer International Publishing

Erscheinungsdatum: 02.12.2021

Seiten: 219

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

69,54 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zurück