Formal Methods Teaching

Lieferzeit: Lieferbar innerhalb 14 Tagen

53,49 

Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7,2019, Proceedings, Lecture Notes in Computer Science 11758 – Theoretical Computer Science and General Issues

ISBN: 3030324400
ISBN 13: 9783030324407
Herausgeber: Brijesh Dongol/Luigia Petre/Graeme Smith
Verlag: Springer Verlag GmbH
Umfang: xvi, 245 S., 492 s/w Illustr., 53 farbige Illustr., 245 p. 545 illus., 53 illus. in color.
Erscheinungsdatum: 16.10.2019
Auflage: 1/2019
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 7936892 Kategorie:

Beschreibung

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …