Books > Computing & IT > Computer programming > Programming languages
|
Buy Now
Logic Program Synthesis and Transformation - 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings (Paperback, 1997 ed.)
Loot Price: R1,588
Discovery Miles 15 880
|
|
Logic Program Synthesis and Transformation - 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings (Paperback, 1997 ed.)
Series: Lecture Notes in Computer Science, 1207
Expected to ship within 10 - 15 working days
|
This book constitutes the strictly refereed post-workshop
proceedings of the Sixth International Workshop on Logic Program
Synthesis and Transformation, LOPSTR'96, held on board a ship
sailing from Stockholm to Helsinki, in August 1996.
The 17 revised full papers were carefully selected from a total of
initially 27 submissions. The topics covered range over the areas
of synthesis of programs from specifications, verification,
transformation, specialization, and analysis of programs, and the
use of program schemata in program development.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.