These are the refereed post-proceedings of the 11th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR 2001; covering program transformation and equivalence, program verification, program analysis, program development, and program synthesis.
| ISBN: | 9783540439158 |
| Publication date: | 17th July 2002 |
| Author: | International Workshop on Logic Program Synthesis and Transformation, A Pettorossi |
| Publisher: | Springer an imprint of Springer Berlin Heidelberg |
| Format: | Paperback |
| Pagination: | 265 pages |
| Series: | Lecture Notes in Computer Science |
| Genres: |
Software Engineering Mathematical theory of computation Systems analysis and design Artificial intelligence Computer programming / software engineering |
These are the refereed post-proceedings of the 11th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR 2001; covering program transformation and equivalence, program verification, program analysis, program development, and program synthesis.
Logic Based Program Synthesis and Transformation features in the following genres: Software Engineering, Mathematical theory of computation, Systems analysis and design, Artificial intelligence, Computer programming / software engineering
Logic Based Program Synthesis and Transformation is available in Paperback
Logic Based Program Synthesis and Transformation was written by International Workshop on Logic Program Synthesis and Transformation, A Pettorossi and published by Springer an imprint of Springer Berlin Heidelberg
Logic Based Program Synthesis and Transformation has 265 pages
Yes it is part of Lecture Notes in Computer Science series