Foundations of Software Science and Computation Structures
Frank Pfenning
₹4,249
Logic-Based Program Synthesis and Transformation
8th International Workshop
Springer · 1999 · Paperback
₹5,546
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
Logic-Based Program Synthesis and Transformation: 8th International Workshop by Pierre Flener is a 330-page paperback edition published by Springer in 1999.
The book deals with Logic programming, Congresses, Computer science and Logic design.
Book details
- ISBN-13
- 9783540657651
- ISBN-10
- 3540657657
- Author
- Pierre Flener
- Publisher
- Springer
- Published
- 1999
- Edition
- 1 edition
- Binding
- Paperback
- Pages
- 330
- Language
- English
- Condition
- New
- Subject
- Logic design
More in Logic design
The Parametric Lambda Calculus
Simona Ronchi Della Rocca, Luca Paolini
₹4,315
Evaluation of Novel Approaches to Software Engineering
Leszek Maciaszek, César González-Pérez, Stefan Jablonski
₹5,551
Introductory Digital Design
Mark S. Nixon
₹2,981
Mathematical Foundations of Software Development. Proceedings of the International Joint Conference
Hartmut Ehrig, Christiane Floyd, Maurice Nivat
₹4,524
Hybrid Systems
Rajeev Alur
₹8,177
Typed Lambda Calculi and Applications
Luke Ong
₹5,517
Ultrascale Computing Systems
Jesús Carretero, Emmanuel Jeannot, Albert Y. Zomaya
₹12,132
Logic Based Program Synthesis and Transformation
Maurice Bruynooghe
₹5,496
Foundations of Software Science and Computational Structures
Martin Hofmann
₹5,697
Hardware and Software
Sharon Barner, Ian Harris, Daniel Kroening
₹5,476
Graph-Theoretic Concepts in Computer Science
Jan van Leeuwen
₹5,671