Certified Programs and Proofs
Jean-Pierre Jouannaud, Zhong Shao
₹5,583
Constraints in Computational Logics
First International Conference
Springer · 1994 · Paperback
₹5,569
Free delivery. Nothing extra to pay at checkout.
- 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.
About this book
Constraints in Computational Logics: First International Conference is written by Jean-Pierre Jouannaud. This paperback edition from Springer (1994) has 367 pages. It belongs to the Lecture notes in computer science series.
Topics covered include Computer programming, Congresses and Symbolic and mathematical Logic.
Book details
- ISBN-13
- 9783540584032
- ISBN-10
- 354058403X
- Author
- Jean-Pierre Jouannaud
- Publisher
- Springer
- Published
- 1994
- Series
- Lecture notes in computer science
- Binding
- Paperback
- Pages
- 367
- Language
- English
- Condition
- New
- Subject
- Computer programming
More by Jean-Pierre Jouannaud and related titles
Functional Programming Languages and Computer Architecture
Jean-Pierre Jouannaud
₹5,584
Rewriting Techniques and Applications
Jean-Pierre Jouannaud
₹4,528
Exploring the .NET Core 3.0 Runtime
Roger Villela
₹2,797
Evolutionary Algorithms for Solving Multi-objective Problems
Gary B. Lamont, David A.van Veldhuizen, Carlos A. Coello Coello
₹8,932
Unifying Theories of Programming
David Naumann
₹3,157
Theory and Practice of Parallel Programming
Takayasu Ito, Akinori Yonezawa
₹5,625
What Is Coding?
Nikole Brooks Bethea
₹998
Methods of Programming
Manfred Broy, Martin Wirsing
₹5,517
Agile Artificial Intelligence in Pharo
Alexandre Bergel
₹4,711
Programming Concepts and Methods Procomet 98
David Gries
₹15,365
Lumen Programming Guide
Paul Redmond
₹4,246