Formal Methods for an Informal World

Lieferzeit: Lieferbar innerhalb 14 Tagen

53,49 

ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1-7,2021, Tutorial Lectures, Lecture Notes in Computer Science 13490

ISBN: 3031436776
ISBN 13: 9783031436772
Herausgeber: Antonio Cerone
Verlag: Springer Verlag GmbH
Umfang: xi, 169 S., 31 s/w Illustr., 50 farbige Illustr., 169 p. 81 illus., 50 illus. in color.
Erscheinungsdatum: 05.11.2023
Auflage: 1/2023
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 430792 Kategorie:

Beschreibung

Autorenporträt

Antonio Cerone, Nazarbayev University, Astana, Kazakhstan

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …