Tools and Algorithms for the Construction and Analysis of Systems

Lieferzeit: Lieferbar innerhalb 14 Tagen

42,79 

30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11,2024, Proceedings, Part I, Lecture Notes in Computer Science 14570

ISBN: 3031572459
ISBN 13: 9783031572456
Herausgeber: Bernd Finkbeiner/Laura Kovács
Verlag: Springer Verlag GmbH
Umfang: xxviii, 394 S., 42 s/w Illustr., 82 farbige Illustr., 394 p. 124 illus., 82 illus. in color.
Erscheinungsdatum: 04.04.2024
Auflage: 1/2024
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 2944679 Kategorie:

Beschreibung

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …