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

10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers

Língua InglêsInglês
Livro Capa mole
Livro Logic Based Program Synthesis and Transformation Kung-Kiu Lau
Código Libristo: 01563497
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, maio 2001
This book presents revised full papers from the 10th International Workshop on Logic-Based Program S... Descrição completa
? points 125 b
51.65 €
Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

Ergotherapie Wolfgang Presber / Livro Livro de capa dura
common.buy 39.52 €
Reciprocidad y permanencia como talante del animador rural: acciones o procesos Equipo de Apoyo Rural Cáritas Española / Livro Capa mole
common.buy 6.86 €
Scentos. Pachnące masy plastyczne. Walizeczka 20sztuk Livro binding.
common.buy 20.21 €
Host na večeři B. P. Walter / Livro Livro de capa dura
common.buy 13.03 €
Económico
Голос твоего рода. Исцеление родовых программ Елена Вайс / Livro Livro de capa dura
common.buy 16.27 €
Cala Ratjada (Wandkalender 2026 DIN A2 quer), CALVENDO Monatskalender Calvendo / Calendário/Diário Calendário
common.buy 54.18 €
Vzdělávání v mateřské škole Eva Svobodová / Livro Capa mole
common.buy 7.77 €
Lumière sur mairies brunes Tome 3 Visa / Livro Capa mole
common.buy 10.71 €
Je suis vivant et vous êtes morts Emmanuel Carrère / Livro Capa mole
common.buy 10.40 €
Mes premières chansons - volume 3 Marine Fleury / Livro Livro de capa dura
common.buy 12.83 €
Antología (versos, reflexiones, poesías) TOMAS REDONDO GARCIA / Áudio CD de áudio
common.buy 13.13 €
MARCO DE LOS APENINOS A LOS ANDES EDMUNDO DE AMICIS / Livro Capa mole
common.buy 14.75 €
Wika - Wika und Oberons Zorn Thomas Day / Livro Livro de capa dura
common.buy 15.76 €
Brelok Łamignat (Kajko i Kokosz) / Livro binding.
common.buy 5.15 €
funfzehn grossen Mittel fur das Pferd Regine Beatrix Dreyer / Livro Capa mole
common.buy 9.09 €
Clus Muñoz Robledano / Livro Capa mole
common.buy 12.02 €
Análisis y evaluación de políticas sociales Trinidad Requena / Livro Capa mole
common.buy 25.06 €
Bergson Et Le Christ Des Evangiles Henri Gouhier / Livro Capa mole
common.buy 29.51 €
Magicienne Le Secret Des Zippelius Histoire d'Une Nuit Lermina-J / Livro Capa mole
common.buy 26.68 €

This book presents revised full papers from the 10th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR 2000, held in London, UK, in July 2000 as part of the International Conference on Computational Logic.The 10 revised full papers presented have gone through two rounds of reviewing, selection and revision. The book is divided in topical sections on synthesis, transformation, analysis, specialization, and abstract interpretation.

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 Kung-Kiu Lau
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2001
Número de páginas 188
EAN 9783540421276
ISBN 3540421270
Código Libristo 01563497
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 306
Dimensões 155 x 235 x 11

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

Thermal Design and Thermal Behaviour of Radio Telescopes and their Enclosures Albert Greve / Livro Capa mole
common.buy 154.26 €
Artificial Social Systems Cristiano Castelfranchi / Livro Capa mole
common.buy 51.65 €
Physics of Sedimentology Kenneth J. Hsu / Livro Livro de capa dura
common.buy 85.62 €
Marshal Josip Broz Tito: The Life and Legacy of Yugoslavia's First President Charles River Editors / Livro Capa mole
common.buy 10.60 €
Em breve
Eyes Open Level 2 Workbook with Online Practice (Dutch Edition) Vicki Anderson / Livro Livro de capa dura
common.buy 29.51 €
Dmitri Olive Jeanfreau Alexander / Livro Capa mole
common.buy 12.02 €
So You Think You're a New York Mets Fan?: Stars, Stats, Records, and Memories for True Diehards Brett Topel / Livro Capa mole
common.buy 14.75 €
Ba Duan Jin Qi Gong - Eight Pieces of Brocade Marcus Scheibenzuber / Livro Capa mole
common.buy 16.06 €
THE HISTORY OF ENGLAND UNDER THE HOUSE O ROBERT VAUGHAN / Livro Livro de capa dura
common.buy 37.29 €
Cobbett's Two-Penny Trash William Cobbett / Livro Capa mole
common.buy 10.20 €
Development of English Literature Patrick Francis Mullany / Livro Capa mole
common.buy 19.70 €
sacred tree John Philpot / Livro Capa mole
common.buy 16.97 €
Battle-wise: Seeking Time-Information Superiority in Networked Warfare David C Gompert / Livro Capa mole
common.buy 18.29 €
Metrical Memories of the Late War and Other Poems. and Other Poems JAMES REED / Livro Capa mole
common.buy 20.82 €
Terrateer in Training Alexandra Quast / Livro Capa mole
common.buy 10.30 €
Very Different Monica Shauna Ray Ratapu / Livro Capa mole
common.buy 13.03 €
Principal
Soviet Union MARK EDELE / Livro Capa mole
common.buy 31.63 €
Memere's Country Creole Cookbook Nancy Tregre Wilson / Livro Livro de capa dura
common.buy 26.78 €
chronicles of Jerahmeel Anonymous / Livro Capa mole
common.buy 28.50 €
Superconductor Levitation Jinwon Kim / Livro Capa mole
common.buy 133.74 €
Smoke Firing Jane Perryman / Livro Livro de capa dura
common.buy 36.79 €
Crosslinguistic Influence and Second Language Learning Kevin McManus / Livro Capa mole
common.buy 65.80 €
Fighting the Opioid Epidemic Amitava Dasgupta / E-book Adobe ePub DRM
common.buy 141.83 €
Times Killer Su Doku Book 20 The Times Mind Games / Livro Capa mole
common.buy 9.29 €

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?