Computer-Aided Reasoning

Lieferzeit: Lieferbar innerhalb 14 Tagen

266,43 

An Approach, Advances in Formal Methods 3

ISBN: 1461370035
ISBN 13: 9781461370031
Autor: Kaufmann, Matt/Manolios, Panagiotis/Moore, J Strother
Verlag: Springer Verlag GmbH
Umfang: XVI, 272 S.
Erscheinungsdatum: 12.10.2012
Auflage: 1/2000
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 4536560 Kategorie:

Beschreibung

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …