Delivery included to the United States

Automatische Synthese Rekursiver Programme Als Beweisverfahren

Automatische Synthese Rekursiver Programme Als Beweisverfahren

Not available for sale

Out of stock

This service is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.

Book information

ISBN: 9780387553009
Publisher: Springer Verlag
Weight: -1g