Informatik-Fachberichte Automatische Synthese Rekursiver Programme ALS Beweisverfahren, Book 302, (Paperback)

Name: Informatik-Fachberichte Automatische Synthese Rekursiver Programme ALS Beweisverfahren, Book 302, (Paperback)
Brand: Susanne Biundo
SKU: prod_0d947fddb81b887691163e81
Price: 150.00 USD
Availability: InStock

Informatik-Fachberichte Automatische Synthese Rekursiver Programme ALS Beweisverfahren, Book 302, (Paperback) Author: Springer ISBN: 9783540553007 Format: Paperback Publication Date: 1992-04-08 Page Count: 259

Shipping & Returns

Price unavailable

Informatik-Fachberichte Automatische Synthese Rekursiver Programme ALS Beweisverfahren, Book 302, (Paperback)—

$150.00

Price unavailable

Informatik-Fachberichte Automatische Synthese Rekursiver Programme ALS Beweisverfahren, Book 302, (Paperback)—

$150.00