Logic Based Program Synthesis and Transformation - 14th International Symposium, Lopstr 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers - Paperback - 2005
Resumo
A collection of papers organized in topical sections on verification and analysis, theory and security, transformations, program development, termination, and program development and synthesis.
Year of publication: 2005
Pagination: 284 pages, biography
Format: Paperback
Serie: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues
Year of publication: 2005
Pagination: 284 pages, biography
Format: Paperback
Serie: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues
Logic Based Program Synthesis and Transformation - 14th...
Resumo
A collection of papers organized in topical sections on verification and analysis, theory and security, transformations, program development, termination, and program development and synthesis.
Year of publication: 2005
Pagination: 284 pages, biography
Format: Paperback
Serie: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues
Year of publication: 2005
Pagination: 284 pages, biography
Format: Paperback
Serie: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues
Publicidade
Avaliações dos nossos clientes
Logic Based Program Synthesis and Transformation - 14th International Symposium, Lopstr 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers - Paperback - 2005
Sê o primeiro a dar
a tua opinião sobre este produto
Características
- Editora
-
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Dimensão
-
234 x 156 x 15
- Peso
-
450
- Tema
-
Computing & information technology
- Origem
-
Germany
- EAN
-
9783540266556
Publicidade
Publicidade