Verificar estado da encomenda

Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente

Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 € Ponto GLS 4.49 €

Contacto

Como comprar

Ajuda

A minha conta

▸ Vazio :-(

Logic-Based Program Synthesis and Transformation

Name: Logic-Based Program Synthesis and Transformation
Brand: Springer-Verlag GmbH
SKU: 49343228
Price: 56.47 EUR
Availability: InStock
Author: Laura Titolo
ISBN: 9783032048479

Laura Titolo

Língua

Inglês

Livro Capa mole

Código Libristo: 49343228

Editoras Springer-Verlag GmbH, outubro 2025

This volume constitutes the proceedings of 35th International Symposium on Logic-Based Program Synth... Descrição completa

Código Libristo: 49343228

137 b

56.47 €

Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

Gestion Formativa Investigativa Universitaria Martha Virginia Díaz Alarcón

Capa mole

41.04 €

Grisel, al pie del Moncayo AZAGRA MURILLO

Capa mole

7.86 €

LAS AVENTURAS DE RUA 1

Livro

17.84 €

Impacto da gestão de stocks no desempenho da empresa Suleman Bawa

Capa mole

40.25 €

This volume constitutes the proceedings of 35th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2025, held in Rende, Italy, during September 9 10, 2025.

The 17 full papers and 4 short paper included in this book were carefully reviewed and selected from 21 submissions. These papers cover all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large.