Formal Methods

Lieferzeit: Lieferbar innerhalb 14 Tagen

160,49 

26th International Symposium, FM 2024, Milan, Italy, September 9-13,2024, Proceedings, Part II, Lecture Notes in Computer Science 14934

ISBN: 3031711769
ISBN 13: 9783031711763
Herausgeber: Andre Platzer/Kristin Yvonne Rozier/Matteo Pradella et al
Verlag: Springer Verlag GmbH
Umfang: xxii, 652 S., 23 s/w Illustr., 170 farbige Illustr., 652 p. 193 illus., 170 illus. in color.
Erscheinungsdatum: 13.09.2024
Auflage: 1/2024
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 4104630 Kategorie:

Beschreibung

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …