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

24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers

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

Política de devolução de 30 dias

Os clientes também compraram

Kirchen - verständlich gemacht. Eine illustrierte und verständliche Baustilkunde zur christlichen Architektur: Kathedralen, Kapellen, Klöstern, Abteie Denis McNamara / Livro Capa mole
common.buy 7.47 €
MEJORA DE LAS FUNCIONES EJECUTIVAS Y CONDUCTUALES 2 (ALUMNO) NOELIA GARCIA GONZALEZ / Livro Capa mole
common.buy 39.91 €
M'as-tu vu en cadavre ? Malet / Livro Livro de capa dura
common.buy 16.97 €
45 Recettes de Repas pour la Réduction des Crampes musculaires: Eliminez les crampes musculaires pour de bon en utilisant une nourriture intelligente Joe Correa Csn / Livro Capa mole
common.buy 13.33 €
Biologie víry Bruce H. Lipton / Livro Livro de capa dura
common.buy 11.91 €
Globalización y salud mental Antoni Talarn / Livro Capa mole
common.buy 30.81 €
Justizmord Hans-Rudolph Schneider / Livro Capa mole
common.buy 15.75 €
Untersuchungen über Gegenstände der höheren Geodäsie Carl Fr. Gauß / Livro Capa mole
common.buy 75.78 €
Je te vois reine des quatre parties du monde Alexandre Lapierre / Livro Capa mole
common.buy 11.61 €
Leadership John C. Maxwell / Livro Livro
common.buy 10.70 €
Mystische Dimensionen der Psyche Lars Tischler / Livro Capa mole
common.buy 14.24 €
Pokrevenstvo Amberu Roger Zelazny / Livro Livro de capa dura
common.buy 6.56 €

This book constitutes the thoroughly refereed post-conference proceedings of the 24th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2014, held in Canterbury, UK, in September 2014.§§The 18 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. The papers are organized along a set of thematic tracks: program analysis and transformation, constraint handling rules, termination analysis, security, program testing and verification, program synthesis, program derivation, semantic issues in logic programming, and program transformation and optimization.

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 Maurizio Proietti, Hirohisa Seki
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2015
Número de páginas 333
EAN 9783319178219
ISBN 3319178210
Código Libristo 09249952
Editoras Springer International Publishing AG
Peso 534
Dimensões 155 x 235 x 19

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 > 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

British Antarctic ("Terra Nova") Expedition, 1910; Natural History Reports, Vol. 1 British Antarctic Expedition / Livro Capa mole
common.buy 18.28 €
From Anthropometry to Genomics Jonathan S Friedlaender / Livro Capa mole
common.buy 12.82 €
Explorers Jared W Pollard / Livro Capa mole
common.buy 16.36 €
Sandy's Miracle John Borgstedt / Livro Capa mole
common.buy 14.04 €
Global West, American Frontier David M. Wrobel / Livro Capa mole
common.buy 31.11 €
Building Dynamics Branko Kolarevic / Livro Capa mole
common.buy 108.12 €
100 Dogs Michael Whaite / Livro Livro concertina
common.buy 7.57 €
Next of Kin Marianne Langner Zeitlin / Livro Capa mole
common.buy 8.58 €
Urban Intervention: Design Ideas for Public Space Wang Shaoqiang / Livro Livro de capa dura
common.buy 40.21 €
Chinese Research Perspectives on Population and Labor, Volume 1 Fang Cai / Livro Livro de capa dura
common.buy 165.92 €
Manual of Percussion and Auscultation Flint / Livro Capa mole
common.buy 17.37 €
Determined Martin Baranek / Livro Capa mole
common.buy 18.89 €
Drifters Volume 5 Kohta Hirano / Livro Capa mole
common.buy 9.59 €
Confessions of a Middle-Aged Hippie Geek Karen S Eubank / Livro Capa mole
common.buy 13.33 €
Cost Accounting and Financial Management for Construction Project Managers HOLM / Livro Livro de capa dura
common.buy 181.08 €
The Day Will Come Mary E. Braddon / Livro Capa mole
common.buy 31.42 €
The Magic Coat Gary McNeil / Livro Capa mole
common.buy 5.65 €
On Liberty John Stuart Mill / Livro Capa mole
common.buy 9.29 €
Comparative Study of Chinese and Western Cyclic Myths Robert Shanmu Chen / Livro Livro de capa dura
common.buy 62.64 €
Intrusion Detection and Correlation Christopher Kruegel / Livro Livro de capa dura
common.buy 98.92 €
The Future of the Greek Economy Panagiotis E. Petrakis / Livro Capa mole
common.buy 104.58 €
Western Africa: Along the Atlantic Ocean Coast Adil Dalbai / Livro Capa mole
common.buy 41.83 €
Great Names in American History John G. Gilmartin / Livro Livro de capa dura
common.buy 31.01 €
Balmoral incident Alanna Knight / Livro Livro de capa dura
common.buy 24.04 €

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