Logic Program Synthesis and Transformation
Maurizio Proietti
₹5,514
Typed Lambda Calculi and Applications
11th International Conference
Springer-Verlag Berlin and Heidelberg GmbH & Co. K · 2013 · Paperback
₹3,615
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–5 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns.
- Express shipping. Same-day dispatch (Monday to Saturday), delivered all over India in 3–5 days.
Offer
Use code GIG9 at checkout and pay ₹3,290 for this book (save ₹325).
9% off every book, up to ₹500 off per order.
About this book
K in 2013.
Topics covered include Mathematical Logic and Formal Languages, Symbolic and mathematical Logic, Algebra and Electronic data processing.
Book details
- ISBN-13
- 9783642389450
- ISBN-10
- 3642389457
- Author
- Masahito Hasegawa
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. K
- Published
- 2013
- Edition
- 2013 ed.
- Binding
- Paperback
- Pages
- 251
- Language
- English
- Condition
- New
- Subject
- Logic design
More in Logic design
Fundamental Approaches to Software Engineering
Vittorio Cortellessa, Dániel Varró
₹3,961
Algebraic and Logic Programming
Michael Hanus, Jan Heering, Karl Meinke
₹5,631
Generative and Transformational Techniques in Software Engineering III
João M. Fernandes
₹3,842
Logic Programming and Automated Reasoning
Harald Ganzinger, David McAllester, Andrei Voronkov
₹5,581
New Modeling Concepts for Today's Software Processes
Jürgen Münch, Ye Yang, Wilhelm Schäfer
₹5,584
Distributed Programming
A. Udaya Shankar
₹4,277
Digital Logic and Computer Design
M. Morris Mano
₹4,995
Types for Proofs and Programs
Herman Geuvers, Freek Wiedijk
₹5,543
Machines, Computations, and Universality
Maurice Margenstern
₹5,662
Types for Proofs and Programs
Paul Callaghan, Zhaohui Luo, James McKinna, Robert Pollack
₹4,286
Logic Circuit Design
Shimon P. Vingron
₹11,253