Get Free Shipping on orders over $79
Logic-Based Program Synthesis and Transformation : 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected Papers - Pierre Flener
eTextbook alternate format product

Instant online reading.
Don't wait for delivery!

Logic-Based Program Synthesis and Transformation

8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected Papers

By: Pierre Flener (Editor)

Paperback | 24 March 1999

At a Glance

Paperback


$84.99

or 4 interest-free payments of $21.25 with

 or 

Ships in 5 to 7 business days

This book presents the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR'98 held in Manchester, UK in June 1998. The 16 revised full papers presented were carefully reviewed and selected during three rounds of inspection from a total of initially 36 extended abstracts submitted. Also included are eight short papers. Among the topics covered are logic specification, mathematical program construction, logic programming, computational logics, inductive program synthesis, constraint logic programs, and mathematical foundations.

More in Computer Programming & Software Development

The C Programming Language : Prentice Hall Software - Brian Kernighan

RRP $107.04

$75.75

29%
OFF
Addiction by Design : Machine Gambling in Las Vegas - Natasha Dow Schull
Arduino For Dummies : For Dummies (Computer/Tech) - John Nussey
Coding For Kids For Dummies : For Kids for Dummies - Camille McCue
Python All-in-One For Dummies : 3rd Edition - Alan Simpson

RRP $74.95

$55.75

26%
OFF
The Practical Guide - Kerem Koseoglu

$102.75

Web Engineering : Theory and Practice - Jeremiah Downey
The Essence of Software Engineering - Cersei Page
Introduction to Programming Languages - Gordon Hurley
Typesetting Mathematics With Latex - Robert Legato
Practical Probabilistic Programming - Stefan Nordin
Practical Probabilistic Programming - Stefan Nordin