Logic Program Synthesis and Transformation: 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings (Lecture Notes in Computer Science, 1207)
US$18.96
Price when purchased online
Free shipping
Free 30-day returns
Sold and shipped by eveliorojas.com
We aim to show you accurate product information. Manufacturers, suppliers and others provide what you see here.
US$18.96
Price when purchased online
Free shipping
Free 30-day returns
Sold and shipped by eveliorojas.com
Free 30-day returns Details
Product details
| Management number | 232087533 | Release Date | 2026/06/18 | List Price | US$18.96 | Model Number | 232087533 | ||
|---|---|---|---|---|---|---|---|---|---|
| Category | |||||||||
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. Read more
| ISBN10 | 3540627189 |
|---|---|
| ISBN13 | 978-3540627180 |
| Edition | 1997th |
| Language | English |
| Publisher | Springer |
| Dimensions | 6.1 x 0.77 x 9.25 inches |
| Item Weight | 1.05 pounds |
| Print length | 340 pages |
| Publication date | March 12, 1997 |
Bestseller ranking
Intelligence & Semantics
Customers who viewed this product also viewed
Hinges
Correction of product information
If you notice any omissions or errors in the product information on this page, please use the correction request form below.
Correction Request Form