Item description for Logic Program Synthesis and Transformation: 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings (Lecture Notes in Computer Science) by John Gallagher...
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.
Promise Angels is dedicated to bringing you great books at great prices. Whether you read for entertainment, to learn, or for literacy - you will find what you want at promiseangels.com!
Est. Packaging Dimensions: Length: 9.1" Width: 6.1" Height: 0.7" Weight: 0.9 lbs.
Release Date Apr 18, 1997
ISBN 3540627189 ISBN13 9783540627180
Availability 133 units. Availability accurate as of Oct 26, 2016 05:48.
Usually ships within one to two business days from La Vergne, TN.
Orders shipping to an address other than a confirmed Credit Card / Paypal Billing address may incur and additional processing delay.
More About John Gallagher
John Gallagher is a veteran journalist and author whose latest book, "Reimagining Detroit: Opportunities for Redefining an American City" (Wayne State University Press, 2010), was named by the "Huffington Post" as among the best social and political books of 2010. He joined the "Detroit Free Press" in 1987 to cover urban and economic redevelopment efforts in Detroit and Michigan, a post he still holds. His other books include "Great Architecture of Michigan" and, as co-author, "AIA Detroit: The American Institute of Architects Guide to Detroit Architecture." John and his wife, Sheu-Jane, live along Detroit's east riverfront.
John Gallagher currently resides in the state of Michigan. John Gallagher was born in 1949.
John Gallagher has published or released items in the following series...
Reviews - What do customers think about Logic Program Synthesis and Transformation: 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings (Lecture Notes in Computer Science)?
Ask A Question or Provide Feedback regarding Logic Program Synthesis and Transformation: 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings (Lecture Notes in Computer Science)
Add This Product Widget To Your Website
Looking to add this information to your own website? Then use our Product Widget to allow you to display product information in a frame that is 120 pixels wide by 240 pixels high.