Produktbild: TOOLympics Challenge 2023

TOOLympics Challenge 2023

Lieferzeit: Lieferbar innerhalb 14 Tagen

53,49 €

inkl. 7 % MwSt. zzgl. Versandkosten

Updates, Results, Successes of the Formal-Methods Competitions, Lecture Notes in Computer Science 14550

ISBN: 3031676947
ISBN 13: 9783031676949
Herausgeber: Dirk Beyer/Arnd Hartmanns/Fabrice Kordon
Verlag: Springer Verlag GmbH
Umfang: ix, 172 S., 8 s/w Illustr., 20 farbige Illustr., 172 p. 28 illus., 20 illus. in color.
Erscheinungsdatum: 01.11.2024
Auflage: 1/2024
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 3932155 Kategorie:

Beschreibung

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …