Integrated Formal Methods

Lieferzeit: Lieferbar innerhalb 14 Tagen

128,39 

18th International Conference, IFM 2023, Leiden, The Netherlands, November 13-15,2023, Proceedings, Lecture Notes in Computer Science 14300

ISBN: 3031477049
ISBN 13: 9783031477041
Herausgeber: Paula Herber/Anton Wijs
Verlag: Springer Verlag GmbH
Umfang: xix, 400 S., 55 s/w Illustr., 67 farbige Illustr., 400 p. 122 illus., 67 illus. in color.
Erscheinungsdatum: 11.11.2023
Auflage: 1/2024
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 880110 Kategorie:

Beschreibung

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …