Details

ISBN/EAN: 978-3-030-91383-0
Einband: kartoniertes Buch
Weitere Details
Auflage:
1. Auflage 2022
Erschienen am:
Sprache:
English
Umfang:
viii, 219 S., 44 s/w Illustr., 29 farbige Illustr.

Hersteller:
Springer Verlag GmbH
juergen.hartmann@springer.com
Tiergartenstr. 17
DE 69121 Heidelberg


Weitere Details arrow_forward_ios

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

69,54 €
inkl. MwSt.

Lieferbar innerhalb 1 - 2 Wochen