Automatische Synthese rekursiver Programme als Beweisverfahren

Lieferzeit: Lieferbar innerhalb 14 Tagen

54,99 

Informatik-Fachberichte 302

ISBN: 3540553002
ISBN 13: 9783540553007
Autor: Biundo, Susanne
Verlag: Springer Verlag GmbH
Umfang: viii, 259 S.
Erscheinungsdatum: 08.04.1992
Auflage: 1/1992
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 4374664 Kategorie:

Beschreibung

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …