KI 2004
Susanne Biundo, Thom Frühwirth, Günther Palm
₹5,615
Automatische Synthese Rekursiver Programme ALS Beweisverfahren
₹3,508
Free delivery. Nothing extra to pay at checkout.
- New copy. Each book is ordered new from our distributor, Atlantic Books, after you place your order.
- Delivery in 3–7 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns. See what qualifies.
From the publisher
In diesem Buch wird ein Verfahren vorgestellt, mit dem Induktionsbeweise vonExistenzaussagen automatisch gef}hrt werden k-nnen. Es ist ein deduktives Programmsyntheseverfahren, das ausgehend von Existenzaussagen, die als formale Programmspezifikationen aufgefa t werden, rekursive Programme erzeugt.
Description supplied by the publisher.
Book details
- ISBN-13
- 9783540553007
- ISBN-10
- 3540553002
- Author
- Susanne Biundo
- Publisher
- Springer
- Condition
- New
More by Susanne Biundo and related titles
Lebesgue and Sobolev Spaces with Variable Exponents
Lars Diening, Petteri Harjulehto, Peter Hästö
₹4,146
Energie Und Umwelt ALS Optimierungsaufgabe
Manfred Walbeck, Hermann-Josef Wagner, Dag Martinsen
₹3,508
Algorithms - ESA '93
Thomas Lengauer
₹5,653
Handbook of Insurance
Georges Dionne
₹4,959
Software Composition
Thomas Gschwind, Flavio de Paoli, Volker Gruhn
₹5,474
Stufengetriebe an Werkzeugmaschinen Mit Kreisender Hauptbewegung
Hans Rögnitz
₹3,508
Fundamentals of Computation Theory
Lothar Budach
₹5,596
Job Scheduling Strategies for Parallel Processing
Dror G. Feitelson, Larry Rudolph
₹5,508
Pseudodifferential Operators with Applications
A. Avantaggiati
₹3,933
Einspannvorrichtung Für Zugversuche an Holzproben Grösseren Querschnitts
Rene Steiger, Ernst Gehri, Hanspeter Arm
₹3,249
Fluid Flow Phenomena
Paolo Orlandi
₹4,786