This book constitutes the thoroughly refereed post-proceedings of the 15th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2005, held in September 2005. The papers are organized in topical sections on tools for program development, program transformations, and software development and program analysis.
| ISBN: | 9783540326540 |
| Publication date: | 23rd March 2006 |
| Author: | LOPSTR Symposium, Patricia Hill |
| Publisher: | Springer an imprint of Springer Berlin Heidelberg |
| Format: | Paperback |
| Pagination: | 178 pages |
| Series: | Lecture Notes in Computer Science |
| Genres: |
Mathematical theory of computation Artificial intelligence Computer programming / software engineering |
This book constitutes the thoroughly refereed post-proceedings of the 15th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2005, held in September 2005. The papers are organized in topical sections on tools for program development, program transformations, and software development and program analysis.
Logic Based Program Synthesis and Transformation features in the following genres: Mathematical theory of computation, Artificial intelligence, Computer programming / software engineering
Paperback. Not Available.
Logic Based Program Synthesis and Transformation was written by LOPSTR Symposium, Patricia Hill and published by Springer an imprint of Springer Berlin Heidelberg
Logic Based Program Synthesis and Transformation has 178 pages
Yes it is part of Lecture Notes in Computer Science series