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 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 € Ponto GLS 4.49 €
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 132 b
54.10 €
Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

MEJORA DE LAS FUNCIONES EJECUTIVAS Y CONDUCTUALES 2 (ALUMNO) NOELIA GARCIA GONZALEZ / Livro Capa mole
common.buy 41.23 €
Pokrevenstvo Amberu Roger Zelazny / Livro Livro de capa dura
common.buy 8.54 €
M'as-tu vu en cadavre ? Malet / Livro Livro de capa dura
common.buy 18.50 €
Integration de La Promotion de La Sante Au Sein Du Tourisme de Bien-Etre JOHANNA RIBOULON / Livro Capa mole
common.buy 32.99 €
Mystische Dimensionen der Psyche Lars Tischler / Livro Capa mole
common.buy 16.99 €
Leadership John C. Maxwell / Livro Livro
common.buy 12.86 €
Je te vois reine des quatre parties du monde Alexandre Lapierre / Livro Capa mole
common.buy 12.26 €
Direkt NEU 1 G. Motta / Áudio CD de áudio
common.buy 19.90 €
Globalización y salud mental Antoni Talarn / Livro Capa mole
common.buy 35.79 €
Coloraines, Eduació Infantil, 3 anys. 1 trimestre Mireia . . . [et al. ] Fernández Ramírez / Livro Capa mole
common.buy 40.52 €
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 9.04 €
Justizmord Hans-Rudolph Schneider / Livro Capa mole
common.buy 18.90 €
Černé ovce a beránek Boží Joanna Cannonová / Livro Livro de capa dura
common.buy 15.98 €
Principal
Biologie víry Bruce H. Lipton / Livro Livro de capa dura
common.buy 15.38 €
Untersuchungen über Gegenstände der höheren Geodäsie Carl Fr. Gauß / Livro Capa mole
common.buy 89.20 €
Semillas (Seeds) Elizabeth Austen / Livro Capa mole
common.buy 9.54 €

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

Determined Martin Baranek / Livro Capa mole
common.buy 22.02 €
Just Cause Carolyn Arnold / Livro Livro de capa dura
common.buy 29.66 €
Kearny's March Winston Groom / Livro Capa mole
common.buy 18.60 €
Next of Kin Marianne Langner Zeitlin / Livro Capa mole
common.buy 8.54 €
Chinese Research Perspectives on Population and Labor, Volume 1 Fang Cai / Livro Livro de capa dura
common.buy 192.49 €
Theoretical Scholarship and Applied Practice Sarah Pink / Livro Livro de capa dura
common.buy 147.13 €
British Antarctic ("Terra Nova") Expedition, 1910; Natural History Reports, Vol. 1 British Antarctic Expedition / Livro Capa mole
common.buy 20.82 €
LONGFELLOW & HIS POETRY William Henry Oliphant 1856-19 Smeaton / Livro Capa mole
common.buy 18.30 €
Principal
Drifters Volume 5 Kohta Hirano / Livro Capa mole
common.buy 11.96 €
Confessions of a Middle-Aged Hippie Geek Karen S Eubank / Livro Capa mole
common.buy 15.59 €
The Day Will Come Mary E. Braddon / Livro Capa mole
common.buy 37.50 €
The Magic Coat Gary McNeil / Livro Capa mole
common.buy 6.73 €
Cost Accounting and Financial Management for Construction Project Managers HOLM / Livro Livro de capa dura
common.buy 207.98 €
Korea Strait David Poyer / Livro Capa mole
common.buy 19.10 €
Urban Intervention: Design Ideas for Public Space Wang Shaoqiang / Livro Livro de capa dura
common.buy 47.86 €
Principal
100 Dogs Michael Whaite / Livro Livro concertina
common.buy 9.24 €
Police and Military Dogs John Ensminger / Livro Capa mole
common.buy 55.21 €
Animal Coloring Book For Adults: Best Animal Coloring book for ever ! 100 pages awesome illistration will be best for gift Coloring Book Press / Livro Capa mole
common.buy 7.64 €
Lectures at St. Peters, in 1890, on Some Urinary Disorders Connected with the Bladder, Prostate and Urethra (1890) Reginald Harrison / Livro Capa mole
common.buy 21.12 €
Ghost in the Well Crandol / Livro Livro de capa dura
common.buy 105.59 €
Great Names in American History John G. Gilmartin / Livro Livro de capa dura
common.buy 42.05 €
Western Africa: Along the Atlantic Ocean Coast Adil Dalbai / Livro Capa mole
common.buy 47.06 €
Flight of Cornelia Blackwood Susan Elliot Wright / Audiolivro MP3
common.buy 14.48 €
Out of the Earth G.B. Langford / E-book Adobe ePub DRM
common.buy 33.39 €

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?