
Logic Based Program Synthesis and Transformation
Maurice Bruynooghe
₹5,496

A Decade of Research Advances in Logic-based Program Development
by Maurice Bruynooghe, Kung-Kiu Lau
Springer · 2004 · Paperback
Free delivery. Nothing extra to pay at checkout.
Published by Springer in 2004, Program Development in Computational Logic: A Decade of Research Advances in Logic-based Program Development by Maurice Bruynooghe & Kung-Kiu Lau runs to 538 pages in paperback. It belongs to the Lecture notes in computer science series.
Topics covered include Logic programming and Computer logic.