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 €
phone Contacto phoneComo comprar

Logic-Based Program Synthesis and Transformation

16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers

Língua InglêsInglês
Livro Capa mole
Livro Logic-Based Program Synthesis and Transformation Germán Puebla
Código Libristo: 01568318
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, março 2007
This book constitutes the thoroughly refereed postproceedings of the 16th International Symposium on... Descrição completa
? points 122 b
50.47 €
Armazenamento externalo em pequenas quantidades Envio em 13-18 dias

Política de devolução de 30 dias

Os clientes também compraram

Koppelungsgeschäfte und Art. 102 AEUV Alexander Goldberg / Livro Capa mole
common.buy 35.73 €
Estem en contra Xavier Gual / E-book Adobe ePub DRM
common.buy 7.46 €
La causalidad eucarística de la Iglesia Aboín Martín / Livro Capa mole
common.buy 31.90 €
Victor Horta. L'architecte de l'Art Nouveau DERNIE DAVID /CAREW-COX ALASTAIR / Livro Livro de capa dura
common.buy 39.77 €
Punto Piu Vicino Al Cielo Duilio Chiarle / Livro Capa mole
common.buy 9.48 €
Frakturrisiko bei Frauen mit Osteoporose Jae Hyong Sorgenfrei / Livro Capa mole
common.buy 35.43 €
Kolorowanka Modnisia Gołek Halina / Livro Capa mole
common.buy 1.61 €
43 Recettes de Repas Naturels pour le cancer de la peau qui protégeront et raviveront votre peau: Aidez votre peau ? devenir rapidement saine en nourr Joe Correa Csn / Livro Capa mole
common.buy 13.32 €

This book constitutes the thoroughly refereed postproceedings of the 16th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2006, held in Venice, Italy in July 2006 in conjunction with ICALP 2006, PPDP 2006, and CSFW 2006.§The 14 revised full papers presented together with 2 invited talks were carefully selected and revised from 41 submissions during two rounds of reviewing and improvement. The papers are organized in topical sections on tools for program development, partial evaluation and program transformation, security and synthesis, debugging and testing, as well as termination and analysis.

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 Germán Puebla
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2007
Número de páginas 240
EAN 9783540714095
ISBN 354071409X
Código Libristo 01568318
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 790
Dimensões 155 x 235 x 17

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 > Programação & engenharia informática > Engenharia de programas
Informática & tecnologia da informação > Ciência informática > Teoria matemática da informática
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

The History of the Studebaker Corporation Albert Erskine / Livro Capa mole
common.buy 29.07 €
Principal Novo
Dungeon Crawler Carl, Vol. 1 (Graphic Novel) Laurel Pursuit Studios / Livro Capa mole
common.buy 12.81 €
Paracelsus G Lowes 1862-1932 Dickinson / Livro Capa mole
common.buy 16.45 €
ORBIT Emily Alison / Livro Livro de capa dura
common.buy 44.01 €
Juana Honore de Balzac / Livro Capa mole
common.buy 10.29 €
Assessment Literacy Thomas Devere Wolsey / Livro Capa mole
common.buy 33.61 €
Developmental Couple Therapy for Complex Trauma Heather B. (McGill University MacIntosh / Livro Capa mole
common.buy 48.05 €
Climate Change and the Media Benedetta Brevini / Livro Livro de capa dura
common.buy 101.06 €
Midsomer Murders: The Complete Series Fourteen Richard Holthouse / Vídeo DVD
common.buy 17.56 €
HIV/AIDS Community Information Services M. Sandra Wood / Livro Livro de capa dura
common.buy 76.52 €
Barack Obama- pot-smoker, coke snorter, muslim? and now President of the USA: What in the hell happened to America? Scott Browning / Livro Capa mole
common.buy 8.77 €
Dental Service Support Operations (FM 4-02.19) Department Of the Army / Livro Capa mole
common.buy 11.00 €
Sir Peter Coats, Thomas Coats, James Coats, Archibald Coats, James Coats, Jr., Thomas Glen Coats, Peter Coats, Jr., and George Coats, Doing Business U Witter & Kenyon / Livro Capa mole
common.buy 27.76 €
Regimental History of the 6th Royal Battalion 13th Frontier Force Rifles (SCINDE) 1843-1923 D. M. Lindsey / Livro Capa mole
common.buy 30.38 €
Applicable Law to International Commercial Contracts and the Status of Lex Mercatoria - With a Special Emphasis on Choice of Law Rules in the Euro Mert Elcin / Livro Capa mole
common.buy 22.10 €
Once Upon A Nightmare William F Lee / Livro Livro de capa dura
common.buy 23.42 €
Beyond the Palace Gary Wien / Livro Capa mole
common.buy 21.09 €
US-Israeli Relations in a New Era Eytan Gilboa / Livro Livro de capa dura
common.buy 200.31 €

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?