Verificar estado da encomenda
LIBRISTO
LIBROAMANTO
obrigatório
Esqueceu-se da palavra-passe
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
0
Correio DHL 7.99 € Correio DPD 4.49 € Correio MRW 3.99 € Ponto DPD 3.99 €
phone Contacto phoneComo comprar

Logic-Based Program Synthesis and Transformation

25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers

Língua InglêsInglês
Livro Capa mole
Livro Logic-Based Program Synthesis and Transformation Moreno Falaschi
Código Libristo: 02836544
Editoras Springer International Publishing AG, dezembro 2015
This book constitutes the thoroughly refereed post-conference§proceedings of the 25th International... Descrição completa
? points 111 b
46.07 €
Armazenamento externo Envio em 5-8 dias

Política de devolução de 30 dias

Os clientes também compraram

N.E.O. Tome 2 : Les Deux Chateaux Michel Bussi / Livro Capa mole
common.buy 9.00 €
Sauvage / Livro Capa mole
common.buy 24.91 €
Ivan Vyskočil a jeho neliteratura Pavel Janoušek / Livro Livro
common.buy 6.47 €
Soziologia Horton / Livro Capa mole
common.buy 22.58 €
Por el Templo y por las Casas: Tomo 2 Juan A. Morales / Livro Capa mole
common.buy 16.40 €
Le Désordre Mondial Du Capitalisme: La Politique Ouvri?re Au Millénaire Jack Barnes / Livro Capa mole
common.buy 23.79 €
Despacito y buenaletra : método para prevenir y corregir las dificultades en la escritura II José Ramiro Viso Alonso / Livro Capa mole
common.buy 13.97 €
Philomela Lena Behmenburg / Livro Livro de capa dura
common.buy 186.76 €

This book constitutes the thoroughly refereed post-conference§proceedings of the 25th International Symposium on Logic-Based Program§Synthesis and Transformation, LOPSTR 2015, held in Siena, Italy, July 2015. The 21 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 30 submissions.§ The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in 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.

Atriz & Poliglota
EWA KASP para
Reproduzir vídeo
Ewa Kasp
A Libristo tem a maior seleção de literatura estrangeira. É por isso que compro os meus livros aqui.

Sobre o livro

Nome completo Logic-Based Program Synthesis and Transformation
Autor Moreno Falaschi
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2015
Número de páginas 385
EAN 9783319274355
ISBN 331927435X
Código Libristo 02836544
Editoras Springer International Publishing AG
Peso 6088
Dimensões 155 x 235 x 25

Categorias

Tecnologia, Engenharia & Agricultura > Eletrónica & engenharia das comunicações > Engenharia eletrónica > Engenharia de controlos automáticos > Robótica
Informática & tecnologia da informação > Ciência informática > Teoria matemática da informática > Matemática para investigadores informáticos
Matemática & ciência > Matemática > Matemáticas discretas
Informática & tecnologia da informação > Programação & engenharia informática > Técnicas de programação
Informática & tecnologia da informação > Programação & engenharia informática > Programação orientada a objeto (OOP)
Informática & tecnologia da informação > Programação & engenharia informática > Engenharia de programas
Informática & tecnologia da informação > Ciência informática > Arquitetura informática e conceção lógica
Informática & tecnologia da informação > Ciência informática > Inteligência artificial
Informática & tecnologia da informação > Sistemas operativos
Ofereça este livro hoje
É fácil
1 Adicione ao carrinho e escolha Entregar como presente ao finalizar a compra 2 Receberá um vale 3 O livro chegará ao endereço do destinatário

Também pode estar interessado em

Little Critter: Just a Special Day Mercer Mayer / Livro Capa mole
common.buy 3.94 €
Diseases of the Stomach with Special Reference to Treatment Charles Dettie Aaron / Livro Livro de capa dura
common.buy 35.14 €
Exercises in macroeconomic theory III with solutions Echevarría Olave / Livro Capa mole
common.buy 15.49 €
Decision Theory and the Future of AI Yang Liu / Livro Livro de capa dura
common.buy 91.95 €
Vessel Matthew Bryant / Livro Capa mole
common.buy 8.80 €
Notebooks de Heem, van Huijsum, Renoir (Set of 3, Large) Arca Publishers / Livro Capa mole
common.buy 7.79 €
Place in the Sun Tim Tingle / Livro Capa mole
common.buy 19.23 €
Royal and Historical Letters During the Reign of Henry the Fourth, King of England and of France, and Lord of Ireland Volume 1 F. C. (Francis Charles) 1833 Hingeston / Livro Livro de capa dura
common.buy 34.32 €
Kindle Paperwhite User Guide Sharon Hurley / Livro Capa mole
common.buy 22.47 €
Higher Education United States Government Accountability / Livro Capa mole
common.buy 13.16 €
African Personality and Spirituality Anthony Ephirim-Donkor / Livro Livro de capa dura
common.buy 114.64 €
Reform without Liberalization Kevin J. O`Brien / Livro Livro de capa dura
common.buy 110.69 €
Practical Flow Cytometry 4e Howard M. Shapiro / Livro Livro de capa dura
common.buy 186.45 €

Iniciar sessão

Inicie sessão na sua conta. Não tem uma conta Libristo? Crie uma agora!

 
obrigatório
obrigatório
Esqueceu-se da palavra-passe

Não tem uma conta? Descubra os benefícios de ter uma conta Libristo!

Com uma conta Libristo, terá tudo sob controlo.

Crie uma conta Libristo
Conselheiro de livros Libroamiko
Olá, sou o Libroamiko, posso ajudar?