A collection of papers organized in topical sections on verification and analysis, theory and security, transformations, program development, termination, and program development and synthesis.
| ISBN: | 9783540266556 |
| Publication date: | 24th June 2005 |
| Author: | Sandro Etalle |
| Publisher: | Springer an imprint of Springer Berlin Heidelberg |
| Format: | Paperback |
| Pagination: | 284 pages |
| Series: | Lecture Notes in Computer Science |
| Genres: |
Mathematical theory of computation Artificial intelligence Computer programming / software engineering |
A collection of papers organized in topical sections on verification and analysis, theory and security, transformations, program development, termination, and program development and synthesis.
Logic Based Program Synthesis and Transformation Theoretical Computer Science and General Issues features in the following genres: Mathematical theory of computation, Artificial intelligence, Computer programming / software engineering
Paperback. Not Available.
Logic Based Program Synthesis and Transformation Theoretical Computer Science and General Issues was written by Sandro Etalle and published by Springer an imprint of Springer Berlin Heidelberg
Logic Based Program Synthesis and Transformation Theoretical Computer Science and General Issues has 284 pages
Yes it is part of Lecture Notes in Computer Science series