Logic Program Synthesis and Transformation: 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings (Lecture Notes in Computer Science, 1207)
4.0 (128 items)
Limited Time SaleUS$28.44 cheaper than the new price!!
Free cash-on-delivery fees for purchases over $99
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
Small Laundry & Closet Ideas
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