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

18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers

Língua InglêsInglês
Livro Capa mole
Livro Logic-Based Program Synthesis and Transformation Michael Hanus
Código Libristo: 01649407
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, fevereiro 2009
This book constitutes the thoroughly refereed post-conference proceedings of the 18th International... 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

Infiltration und Bodenfeuchte. Prozesse und Mechanismen der Versickerung. Wasserspeicherung in Böden und dessen Bedeutung für Pflanzen Antonio Salmeri / Livro Capa mole
common.buy 14.27 €
Kultur ALS Naturgeschichte Christian Mehr / Livro Livro de capa dura
common.buy 95.30 €
Abrege de la Philosophie de Gassendi Francois Bernier / Livro Capa mole
common.buy 26.02 €
Juhlajulkaisu: Suomalaisen Kansallis-Raittius-Veljeysseuran 25-Vuotisen Toiminnan Muistoksi, Toimituttanut S.K.-R.-Veljeysseura Anonymous / Livro Capa mole
common.buy 21.36 €
Fisioterapeuta del Servicio de Salud de la Comunidad de Madrid. EDICIÓN COLECTIVOS CLAVIJO GAMERO / Livro Capa mole
common.buy 31.19 €
casa dei suoni e delle parole. Percorsi di recupero e potenziamento delle abilità fonologiche e metafonologiche Giulia Fedrigo / Livro Capa mole
common.buy 23.28 €
VOLTAREI A SEDUZIR-TE; CAMINHO PARA O CORAÇÇO MANN / Livro Livro
common.buy 6.37 €
Controstoria del franchismo. Fatti, retroscena e scomode verità sul regime del Caudillo Roberto Lobosco / Livro Capa mole
common.buy 24.91 €
The Rational Male (Band II) - Deutsche Auflage Rollo Tomassi / Livro Capa mole
common.buy 19.94 €

This book constitutes the thoroughly refereed post-conference proceedings of the 18th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2008, held in Valencia, Spain, during July 17-18, 2008. §The 11 revised full papers presented together with one invited talk were carefully reviewed and selected for inclusion in the book. LOPSTR traditionally solicits papers in the areas of specification, synthesis, verification, transformation, analysis, optimization, composition, security, reuse, applications and tools, component-based software development, software architectures, agent-based software development, and program refinement.

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 Michael Hanus
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2009
Número de páginas 185
EAN 9783642005145
ISBN 3642005144
Código Libristo 01649407
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 308
Dimensões 155 x 235 x 11

Categorias

Matemática & ciência > Matemática > Cálculo e análise matemática > Análise numérica
Informática & tecnologia da informação > Programação & engenharia informática > Algoritmos e estruturas de dados
Informática & tecnologia da informação > Programação & engenharia informática > Compiladores e intérpretes
Informática & tecnologia da informação > Programação & engenharia informática > Linguagens de programação e escrita: generalidades
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

Moses in America Melanie Jane Wright / Livro Livro de capa dura
common.buy 96.92 €
Principal
Yandere Dark Elf: She Chased Me All the Way from Another World! Vol. 4 Nakanosora / Livro Capa mole
common.buy 9.81 €
SURVEYING: ORGANIZATION, EXPERTISE, MANAGEMENT / Livro Capa mole
common.buy 216.94 €
Explorers on Black Ice Bridge Alex Bell / E-book Adobe ePub DRM
common.buy 6.47 €
Cinderella Is Dead Kalynn Bayron / Livro Capa mole
common.buy 7.38 €
Lucky Per Henrik Pontoppidan / Livro Livro de capa dura
common.buy 12.14 €
Imperator Anna Hackett / Livro Capa mole
common.buy 10.32 €
Changing State Feminism J. Outshoorn / Livro Capa mole
common.buy 95.30 €
List of Works in the New York Public Library Relating to Persia Ida Augusta Pratt / Livro Capa mole
common.buy 14.47 €
A Dictionary of Christian Biography, Literature, Sects and Doctrines Hermogenes to Julianus V5 (LARGE PRINT EDITION) William Smith / Livro Livro de capa dura
common.buy 62.58 €
Daughter of the Sword Steve Bein / Livro Capa mole
common.buy 16.90 €
Sexual Dysfunction A R Markos / Livro Livro de capa dura
common.buy 114.03 €
Disturbing Influence Julian Mitchell / Livro Capa mole
common.buy 16.20 €
British America 1500-1800 Steven Sarson / Livro Capa mole
common.buy 54.78 €

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?