Name: Automatische Synthese Rekursiver Programme Als Beweisverfahren
Price: 54.99 EUR
Availability: InStock
Author: Susanne Biundo
ISBN: 9783540553007

Automatische Synthese Rekursiver Programme Als Beweisverfahren von Susanne Biundo

Sie sparen 0% des UVP sparen 0%

Taschenbuch
Versandfertig in 1-2 Wochen
54,99 €

Über Automatische Synthese Rekursiver Programme Als Beweisverfahren

Originally presented as the author's thesis (doctoral)--Universit'at Karlsruhe under the title: Automatische Synthese rekursiver Algorithmen als Beweisverfahren.

Sprache:
Deutsch

ISBN:
9783540553007

Verlag:
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Einband:
Taschenbuch

Seitenzahl:
267

Veröffentlicht:
8 April 1992

Abmessungen:
244x170x14 mm.

Gewicht:
465 g.

54,99 € inkl. MwSt.
~~54,99 €~~ UVP

Versandkostenfrei

Versandfertig in 1-2 Wochen.

Über Susanne Biundo

Alle Bücher von Susanne Biundo anzeigen

Beschreibung von Automatische Synthese Rekursiver Programme Als Beweisverfahren

Originally presented as the author's thesis (doctoral)--Universit'at Karlsruhe under the title: Automatische Synthese rekursiver Algorithmen als Beweisverfahren.

Kund*innenbewertungen von Automatische Synthese Rekursiver Programme Als Beweisverfahren

Andere kauften auch ...

Ähnliche Bücher finden

Das Buch Automatische Synthese Rekursiver Programme Als Beweisverfahren ist in den folgenden Kategorien erhältlich:

Wirtschaft & Schule > Computer & IT

Automatische Synthese Rekursiver Programme Als Beweisverfahren

Über Susanne Biundo

Beschreibung von Automatische Synthese Rekursiver Programme Als Beweisverfahren

Kund*innenbewertungen von Automatische Synthese Rekursiver Programme Als Beweisverfahren

Willkommen bei den Tales Buchfreunden und -freundinnen