Welcome to Loot.co.za! Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search

Checkout
- Your Cart Price

Your cart

Your cart is empty

Books > Computing & IT > Computer hardware & operating systems > Computer architecture & logic design

Buy Now

Logic-Based Program Synthesis and Transformation - 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected Papers (Paperback, 1999 ed.) Loot Price: R1,645

Discovery Miles 16 450

Repayment Terms: R154 pm x 12*

Add to cart

Logic-Based Program Synthesis and Transformation - 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19,...

Logic-Based Program Synthesis and Transformation - 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected Papers (Paperback, 1999 ed.)

Pierre Flener

Series: Lecture Notes in Computer Science, 1559

(sign in to rate)

Loot Price R1,645 Discovery Miles 16 450 | Repayment Terms: R154 pm x 12*

Expected to ship within 10 - 15 working days

Description
Details
Customer Reviews

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.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Lecture Notes in Computer Science, 1559
Release date:	2001
First published:	1999
Editors:	Pierre Flener
Dimensions:	235 x 155 x 18mm (L x W x T)
Format:	Paperback
Pages:	338
Edition:	1999 ed.
ISBN-13:	978-3-540-65765-1
Categories:	Books > Computing & IT > General theory of computing > Mathematical theory of computation Books > Computing & IT > Computer programming > General Books > Computing & IT > Computer hardware & operating systems > Computer architecture & logic design > General Promotions
LSN:	3-540-65765-7
Barcode:	9783540657651