Logic Program Synthesis and Transformation: 6th International Workshop, Lopstr'96, Stockholm, Sweden, August 28-30, 1996, Proceedings
No Customer Reviews
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,...
Format:Paperback
Language:English
ISBN:3540627189
ISBN13:9783540627180
Release Date:March 1997
Publisher:Springer
Length:331 Pages
Weight:1.05 lbs.
Dimensions:0.7" x 6.1" x 9.2"
Customer Reviews
0 rating
Copyright © 2024 Thriftbooks.com Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
