Model Checking, Synthesis, and Learning
Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday, Lecture Notes in Computer Science 13030 - Theoretical Computer Science and General Issues
Ernst-Rüdiger Olderog/Bernhard Steffen/Wang Yi
€69.54
(inklusive MwSt.)
Verfügbarkeit: Besorgungstitel, Festbezug
Weitere Details
Erschienen: 22.11.2021
Umfang: viii, 219 S., 44 s/w Illustr., 29 farbige Illustr.
Sprache: ENG
Einband: KT
ISBN/EAN: 9783030913830
Umbreit-Nr.: 2966921
