Automatische Synthese rekursiver Programme als Beweisverfahren by Susanne BiundoAutomatische Synthese rekursiver Programme als Beweisverfahren by Susanne Biundo

Automatische Synthese rekursiver Programme als Beweisverfahren

bySusanne Biundo

Paperback | April 8, 1992 | German

Pricing and Purchase Info

$90.95

Earn 455 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

Title:Automatische Synthese rekursiver Programme als BeweisverfahrenFormat:PaperbackPublished:April 8, 1992Publisher:Springer Berlin HeidelbergLanguage:German

The following ISBNs are associated with this title:

ISBN - 10:3540553002

ISBN - 13:9783540553007

Look for similar items by category:

Reviews