Program Development in Computational Logic
Maurice Bruynooghe, Kung-Kiu Lau
₹5,868
Logic Based Program Synthesis and Transformation
13th International Symposium
Springer · 2004 · Paperback
₹5,496
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: 13th International Symposium is written by Maurice Bruynooghe. This paperback edition from Springer (2004) has 232 pages.
Its main subjects are Logic programming, Congresses and Logic design.
Book details
- ISBN-13
- 9783540221746
- ISBN-10
- 3540221743
- Author
- Maurice Bruynooghe
- Publisher
- Springer
- Published
- 2004
- Edition
- 1 edition
- Binding
- Paperback
- Pages
- 232
- Language
- English
- Condition
- New
- Subject
- Logic design
More by Maurice Bruynooghe and related titles
Programming Language Implementation and Logic Programming
Maurice Bruynooghe, Jaan Penjam
₹5,595
Logics of Programs
Rohit Parikh
₹5,591
Model Checking Software
Klaus Havelund, Rupak Majumdar, Jens Palsberg
₹5,568
Typed Lambda Calculi and Applications
Masahito Hasegawa
₹3,615
Hybrid Systems
Maria D. Di Benedetto, Alberto L. Sangiovanni-Vincentelli
₹4,621
Perspectives of Systems Informatics
Amir Pnueli
₹4,264
Theory of Digital Automata
Valery Lahno, Mykola Karpinskyy, Bohdan Borowik, Oleksandr Petrov
₹8,178
Approaches and Applications of Inductive Programming
Ute Schmid, Emanuel Kitzelmann
₹5,483
Formal Methods
Jim Davies, Leila Silva, Adenilso Simao
₹5,534
Logic Program Synthesis and Transformation
International Workshop on Logic Program Synthesis and Transformation (1991 University of Manchester)
₹5,130
VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, the Netherlands, October 21-25, 1991. Procee
Soren Prehn, Hans Toetenel
₹5,383