Logic-Based Program Synthesis and Transformation: 28th International Symposium, LOPSTR 2018, Frankfurt / Main, Germany, September 4-6, 2018, Revised Selected Papers - Lecture Notes in Computer Science -  - Livros - Springer Nature Switzerland AG - 9783030138370 - 23 de fevereiro de 2019
Caso a capa e o título não sejam correspondentes, considere o título como correto

Logic-Based Program Synthesis and Transformation: 28th International Symposium, LOPSTR 2018, Frankfurt / Main, Germany, September 4-6, 2018, Revised Selected Papers - Lecture Notes in Computer Science 2019 edition

Preço
R$ 294,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 6 - 12 de out
Adicione à sua lista de desejos do iMusic

Ainda não avaliado

This book constitutes the thoroughly refereed post-conference proceedings of the 28th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2018, held in Frankfurt/Main, Germany, in September 2018.The 11 revised full papers were carefully reviewed and selected from 29 submissions.


203 pages, 4 Illustrations, color; 561 Illustrations, black and white; XX, 203 p. 565 illus., 4 illu

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 23 de fevereiro de 2019
ISBN13 9783030138370
Editoras Springer Nature Switzerland AG
Páginas 203
Dimensões 155 × 234 × 15 mm   ·   352 g
Idioma Alemão  
Editor Mesnard, Fred
Editor Stuckey, Peter J.

Mais da mesma editora