Featurebasierte Integration Von Cad/Cam-Systemen
Thomas Ruf
₹3,508
Termination Proofs for Logic Programs
by Lutz Plümer
₹5,449
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
This book presents a technique for the automatic generation of termination proofs for logic programs, which constitute a crucial part of program verification. Several nontrivial examples are discussed.
Description supplied by the publisher.
Book details
- ISBN-13
- 9783540528371
- ISBN-10
- 3540528377
- Author
- Lutz Plümer
- Publisher
- Springer
- Condition
- New
Related books
Die Grundlagen Der Ähnlichkeitsmechanik Und Ihre Verwertung Bei Modellversuchen
Moritz Weber
₹3,508
Ergebnisse Der Inneren Medizin Und Kinderheilkunde
M. V. Pfaundler, A. Schittenhelm, A. Czerny
₹3,508
Transactions on Computational Science XIV
Marina Gavrilova, C. J. Kenneth Tan, Mir Abolfazl Mostafavi
₹5,508
Neuzeitliche Betriebsführung Und Werkzeugmaschine
Emile Toussaint
₹5,802
Image and Signal Processing
Abderrahim Elmoataz, Driss Mammass, Olivier Lezoray
₹5,712
English for Biomedical Scientists
Ramón Ribes, Palma Iannarelli, Rafael F. Duarte
₹4,638
Ordered Linear Spaces
Graham Jameson
₹2,697
Dictionary of Concrete Technology
Natt Makul
₹4,920
Bildnerei Der Geisteskranken
Hans Prinzhorn
₹4,601
Technische Mechanik
Heinz Neuber
₹3,623
Die Technische Physik Der Lichtbogenschweissung Einschliesslich Der Schweissmittel
W. M. Conn
₹3,508