Formal Methods

Lieferzeit: Lieferbar innerhalb 14 Tagen

117,69 

24th International Symposium, FM 2021, Virtual Event, November 20-26,2021, Proceedings, Lecture Notes in Computer Science 13047 – Programming and Software Engineering

ISBN: 3030908690
ISBN 13: 9783030908690
Herausgeber: Marieke Huisman/Corina Pasareanu/Naijun Zhan
Verlag: Springer Verlag GmbH
Umfang: xvii, 800 S., 119 s/w Illustr., 159 farbige Illustr., 800 p. 278 illus., 159 illus. in color.
Erscheinungsdatum: 10.11.2021
Auflage: 1/2021
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 2937044 Kategorie:

Beschreibung

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …