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

11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers

Língua InglêsInglês
Livro Capa mole
Livro Logic Based Program Synthesis and Transformation Alberto Pettorossi
Código Libristo: 01564461
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, julho 2002
This book constitutes the thoroughly refereed post-proceedings of the 11th International Workshop on... 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

Biochemisches Handlexikon Andor Fodor / Livro Capa mole
common.buy 47.39 €
Le Traite Sur Les Sacrifices Fong Et Chan De Se Ma T'Sien (1890) Edouard Chavannes / Livro Capa mole
common.buy 19.74 €
Les Reformes Sociales Dreux-A / Livro Capa mole
common.buy 11.64 €
Memorial Havrais, Guide Pratique Des Proprietaires, Locataires, Entrepreneurs & Industriels Fleury-V / Livro Capa mole
common.buy 29.46 €
Lettres Parisiennes Sur Le Desir d'Etre Heureux. Partie 2 Jacquin-A-P / Livro Capa mole
common.buy 17.41 €
Conservateur de la Vue: Suivi Du Manuel de l'Ingenieur Opticien Troisieme Edition Augmentee CHEVALLIER-J / Livro Capa mole
common.buy 41.82 €
Kúpte si družičku! Jacqueline Wilsonová / Livro Capa mole
common.buy 7.18 €
Protagonismo femenino en cuentos y leyendas de México y Centroamérica Anna Maria Fernández Poncela / Livro Capa mole
common.buy 13.46 €
FARMERS MARKET - Una aplicación web / Livro Capa mole
common.buy 34.63 €
Masters of the Universe 1 - Das Buch des Bösen (Neuauflage) Diverse Autoren / Livro Livro de capa dura
common.buy 17.41 €
Niedliche BKH Katzenkinder (Wandkalender 2026 DIN A3 quer), CALVENDO Monatskalender Calvendo / Calendário/Diário Calendário
common.buy 25.11 €
LEGO® Harry Potter™ Kouzelnická zábava / Livro Capa mole
common.buy 6.37 €
Ornamentvogelspinnen Henrik Krehenwinkel / Livro Livro de capa dura
common.buy 28.75 €

This book constitutes the thoroughly refereed post-proceedings of the 11th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR 2001, held in Paphos, Cyprus, in November 2001.The 13 revised full papers presented together with an invited paper were carefully selected and improved during two rounds of reviewing and revision. The papers are organized in topical sections on program transformation and equivalence, program verification, program analysis, program development, and program synthesis.

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 Alberto Pettorossi
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2002
Número de páginas 272
EAN 9783540439158
ISBN 3540439153
Código Libristo 01564461
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 880
Dimensões 155 x 235 x 16

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 > Análise e conceção de sistemas
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
Medicina & enfermagem > Medicina: generalidades
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

Models in Cooperative Game Theory Rodica Branzei / Livro Capa mole
common.buy 91.95 €
Hybrid Latex Particles Alex M. van Herk / Livro Capa mole
common.buy 275.28 €
Production Planning in Automated Manufacturing Yves Crama / Livro Capa mole
common.buy 50.63 €
Em breve Novo
Ahmadu Bamba and Decolonization Cheikh M. (Union College) Ndiaye / Livro Capa mole
common.buy 39.29 €
Sciences in the Universities of Europe, Nineteenth and Twentieth Centuries Ana Simoes / Livro Capa mole
common.buy 110.29 €
Lost Founding Father William J. Cooper / Livro Livro de capa dura
common.buy 23.28 €
Echoes Down a Dark Well Ric Wasley / Livro Capa mole
common.buy 14.88 €
How To Be Free: A Practical Guide To Positive Living Livingstone Bvumbi / Livro Capa mole
common.buy 8.80 €
The Question of Alsace and Lorraine Thomas Willing Balch / Livro Capa mole
common.buy 12.65 €
Mind Power Secrets: Road To Riches Shana O Lean / Livro Capa mole
common.buy 13.36 €
Little Book Of Eternal Wisdom Blessed Henry Suso / Livro Capa mole
common.buy 11.84 €
Counterfeit Souls Va Andrews / Livro Capa mole
common.buy 7.28 €
Medical Imaging Techniques and Applications Marcus Lewis / Livro Livro de capa dura
common.buy 100.77 €
Principal
100 Things to Know About Numbers, Computers & Coding NOT KNOWN / Livro Livro de capa dura
common.buy 9.41 €
South Windsor Claire Lobdell / Livro Livro de capa dura
common.buy 20.04 €
Information Geometry and Population Genetics Julian Hofrichter / Livro Capa mole
common.buy 91.85 €
Coal Mining in Pakistan Mudassar Ali Raja / Livro Capa mole
common.buy 31.49 €
Operational Costs in Acquisitions James R. Coffey / Livro Capa mole
common.buy 46.38 €
First Victory Stewart Andrew Stewart / E-book Adobe ePub DRM
common.buy 10.73 €
Essential Business Grammar Builder, w. Audio-CD Paul Emmerson / Livro Capa mole
common.buy 36.25 €
Dark Coulee Mary Logue / Livro Capa mole
common.buy 12.24 €
Landscape Design / Livro Livro de capa dura
common.buy 50.12 €
Principal
John Donne John Donne / Livro Capa mole
common.buy 9.41 €
Community, Economic Creativity, and Organization Ash Amin / Livro Livro de capa dura
common.buy 68.66 €

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?