Teaching Formal Methods

Lieferzeit: Lieferbar innerhalb 14 Tagen

53,49 

Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6,2009, Proceedings, Lecture Notes in Computer Science 5846 – Theoretical Computer Science and General Issues

ISBN: 3642049117
ISBN 13: 9783642049118
Herausgeber: Jeremy Gibbons/Jose Nuno Oliveira
Verlag: Springer Verlag GmbH
Umfang: xi, 177 S.
Erscheinungsdatum: 26.10.2009
Auflage: 1/2009
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 4893876 Kategorie:

Beschreibung

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …