Formal Methods: Foundations and Applications

Lieferzeit: Lieferbar innerhalb 14 Tagen

58,84 

26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8,2023, Proceedings, Lecture Notes in Computer Science 14414

ISBN: 3031493419
ISBN 13: 9783031493416
Herausgeber: Haniel Barbosa/Yoni Zohar
Verlag: Springer Verlag GmbH
Umfang: xxii, 153 S., 22 s/w Illustr., 17 farbige Illustr., 153 p. 39 illus., 17 illus. in color.
Erscheinungsdatum: 02.12.2023
Auflage: 1/2024
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 1184408 Kategorie:

Beschreibung

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …