Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Logic Based Program Synthesis and Transformation: 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers

Logic Based Program Synthesis and Transformation: 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers


Book Informaton

Logic Based Program Synthesis and Transformation: 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers

Author

Patricia M. Hill

Series

Lecture Notes in Computer Science

Volume

3901

Year of Publication

2006

Publisher

Springer Berlin Heidelberg

City of Publication

Berlin; New York

Pages

X, 182

Language

en

ISBN

9783540326540, 9783540326564, 3540326545

ARI Id

1665007509815


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 7 times.
Asian Research Index Whatsapp Chanel
Asian Research Index Whatsapp Chanel

Join our Whatsapp Channel to get regular updates.

Access Options
Citation Options
Download Citation

Showing 1 to 13 of 13 entries
Showing 1 to 13 of 13 entries