Logic-Based Program Synthesis and Transformation - 24th International Symposium, Lopstr 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers - Paperback - 2015
Resumo
Year of publication: 2015
Pagination: 333 pages, 61 black & white illustrations, biography
Format: Paperback
Serie: Lecture Notes in Computer Science
Editor: Maurizio Proietti, Hirohisa Seki
Logic-Based Program Synthesis and Transformation - 24th...
Resumo
Year of publication: 2015
Pagination: 333 pages, 61 black & white illustrations, biography
Format: Paperback
Serie: Lecture Notes in Computer Science
Editor: Maurizio Proietti, Hirohisa Seki
Publicidade
Avaliações dos nossos clientes
Logic-Based Program Synthesis and Transformation - 24th International Symposium, Lopstr 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers - Paperback - 2015
Sê o primeiro a dar
a tua opinião sobre este produto
Características
- Editora
-
Springer International Publishing AG
- Dimensão
-
235 x 155 x 18
- Peso
-
534
- Tema
-
Discrete mathematics|Software Engineering|Mathematical theory of computation|Artificial intelligence
- Origem
-
Switzerland
- EAN
-
9783319178219
Publicidade
Publicidade