Ki 2004
Susanne Biundo, Thom Frühwirth, Günther Palm
₹5,615
Automatische Synthese Rekursiver Programme ALS Beweisverfahren
Springer · 1992
₹3,508
Free delivery. Nothing extra to pay at checkout.
Same Day ShippingIn 3–5 days
15-Day ReturnEasy returns
Genuine BookPhysical copy only
Available Offers
- 🏷️Use code GIG9, pay ₹3,192 — save ₹316 (up to ₹500 off per order)
- 💵Cash on Delivery — pay when the parcel reaches you
About this book
It belongs to the Informatik-Fachberichte series.
Topics covered include Automatic programming (Computer science) and Computer programming.
Book details
- ISBN-13
- 9783540553007
- ISBN-10
- 3540553002
- Author
- Susanne Biundo
- Publisher
- Springer
- Published
- 1992
- Series
- Informatik-Fachberichte
- Pages
- 259
- Language
- English
- Condition
- New
- Subject
- Coding & Programming
More by Susanne Biundo and related titles
Companion Technology
Susanne Biundo, Andreas Wendemuth
₹7,743
Abelson
Abelson
₹3,518
Software Life Cycle Management Standards
David Wright
₹2,492
Constraint Processing
Manfred Meyer
₹5,521
Tutorials
McDonald, Clement J.
₹10,072
Microcontroller Programming
Julio Sanchez, Maria P. Canton
₹4,675
Blazor Revealed
Peter Himschoot
₹3,769
Elementary Number Theory with Programming
Marty Lewinter, Jeanine Meyer
₹6,917
Programming the 6502
Rodnay Zaks
₹28,766
The Pragmatic Programmer
Andy Hunt, Dave Thomas
₹2,865
Swebok
Pierre Bourque, Alain Abran, Robert Dupuis, James W. Moore
₹5,078
