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

12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected Papers

Língua InglêsInglês
Livro Capa mole
Livro Logic Based Program Synthesis and Transformation M. Leuschel
Código Libristo: 01562768
Editoras Springer, Berlin, novembro 2002
This book constitutes the thoroughly refereed post-proceedings of the 12th 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

Manual para ser feliz around the world ALESS GIBAJA / Livro Capa mole
common.buy 14.37 €
Pojazdy Ernest Błędowski / Livro Capa mole
common.buy 1.00 €
Thomas Jules Lebrun / Livro Livro de capa dura
common.buy 7.48 €
La rythmologie - une date bien choisie peut changer votre vie Wozniak / Livro Capa mole
common.buy 19.03 €
Principal
Benjamín Solari Parravicini Zerpa / Livro Capa mole
common.buy 9.41 €
PARIS GA TANOSHIKUNARU (GUIDE DE CONVERSATION) (bilingue Japonais - Français) Ogino Livro Capa mole
common.buy 16.09 €
Un jour, une dictée CM1 - Cahier corrigé + Guide PCF collegium / Livro Capa mole
common.buy 33.11 €
Osterlandsagen Geyer / Livro Capa mole
common.buy 14.27 €
Supplement Au Memoire de M. Clausel de Coussergues En Ce Qui Concerne La Prefecture de Police Cahaisse-H-A / Livro Capa mole
common.buy 12.45 €
Pohádky obtáhni a vykresli - omalovánka / Artigos de papelaria Artigos de papelaria
common.buy 1.21 €
Metaphern der Gewalt Monika Schwarz-Friesel / Livro Capa mole
common.buy 25.31 €
Gestion Participativa En Programas Sociales y de Salud Sonia Vanesa Messina / Livro Capa mole
common.buy 38.68 €
Malcolm Max - Auferstehung Peter Mennigen / Livro Livro de capa dura
common.buy 11.03 €
Brainwash - Gefangene Gedanken, Audio-CD, Audio-CD / Áudio CD de áudio
common.buy 8.09 €
Expeditionen in den dunklen Kontinent Ruth Hagen / Livro Capa mole
common.buy 42.22 €
Písání John Lennon / Livro Livro de capa dura
common.buy 8.19 €
? travers la Montagne corse / TopoGuides / Livro Capa mole
common.buy 21.26 €
El problema mente-cerebro / The Mind-Body Problem Mario Bunge / Livro Capa mole
common.buy 17.71 €
Paula I. Allende / Livro Capa mole
common.buy 9.51 €
Intoxicated eyes over the penner: Cheshman-e Mast-e Rooye Ghalamdan Shiva Shakoori / Livro Capa mole
common.buy 9.51 €
Petru Fideliovi Sborník k sedmdesátinám Lucie Malá / Livro Capa mole
common.buy 8.40 €
Malý zajíček Oblečení neuvedený autor / Livro Livro concertina
common.buy 2.02 €

This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on Logic Based Program Synthesis and Transformation, LOPSTR 2002, held in Madrid, Spain in September 2002.§§The 15 revised full papers presented together with 7 abstracts were carefully selected during two rounds of reviewing and revision from 40 submissions. The papers are organized in topical sections on debugging and types, tabling and constraints, abstract interpretation, program refinement, verification, partial evaluation, and rewriting and object-oriented development.

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 M. Leuschel
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2003
Número de páginas 279
EAN 9783540404385
ISBN 3540404384
Código Libristo 01562768
Editoras Springer, Berlin
Peso 417
Dimensões 155 x 235 x 15

Categorias

Literatura infantojuvenil & educativa > Materiais educativos > Ensino: matemática, ciência e tecnologia, generalidades > Ensino: ciência, generalidades
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 > Programação & engenharia informática
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

Fundamentals of Molecular Spectroscopy Prabal Kumar Mallick / Livro Livro de capa dura
common.buy 165.28 €
Practical Simulation in Urology Chandra Shekhar Biyani / Livro Livro de capa dura
common.buy 179.16 €
The Meaning of Truth William James / Livro Capa mole
common.buy 5.66 €
Treasure Within You Mitra Somerville / Livro Capa mole
common.buy 18.93 €
Welcome, Baby!: Keeping You Safe Susan Kathleen Hartung / Livro Livro concertina
common.buy 7.79 €
Southern Legacy H G Manning / Livro Capa mole
common.buy 16.40 €
TERRIFIC TUNES FOR TWO BOOK 1 MARTHA MIER / Livro Capa mole
common.buy 12.75 €
Principal
Good Inside: A Guide to Becoming the Parent You Want to Be KENNEDY BECKY / Livro Livro de capa dura
common.buy 19.03 €
Endymion Dan Simmons / Livro Capa mole
common.buy 11.33 €
Principal
Valor John Gwynne / Livro Capa mole
common.buy 14.07 €
Elements John Boyne / Livro Capa mole
common.buy 13.66 €
Loving Life Gene Loving / Livro Capa mole
common.buy 22.78 €
Seven At The Sevens WritersAnonymous. org / Livro Livro de capa dura
common.buy 32.91 €
Creative Journey Through Art; Book One, Adult Colouring Book: Adult Colouring Book (revised version) Margaret Lynn Atkinson / Livro Capa mole
common.buy 6.47 €
Monsters of River & Rock: My Life as Iron Maiden's Compulsive Angler Adrian Smith / Livro Livro de capa dura
common.buy 21.56 €
Killing Marias CLAUDIA CASTRO LUNA / Livro Capa mole
common.buy 9.92 €
OpenCV 3 Computer Vision with Python Cookbook Alexey Spizhevoy / Livro Capa mole
common.buy 42.43 €
Science Comics MK Reed / Livro Capa mole
common.buy 9.31 €
Understanding Artificial Intelligence Sabouret / Livro Livro de capa dura
common.buy 110.39 €
The Center Seat - 55 Years of Trek: Subtitle the Complete, Unauthorized Oral History of Star Trek Peter Holmstrom / Livro Livro de capa dura
common.buy 22.27 €
Inverse Synthetic Aperture Radar Imaging With MATLAB Algorithms Caner Ozdemir / Livro Livro de capa dura
common.buy 116.87 €
Written Language Disorders R.M. Joshi / Livro Livro de capa dura
common.buy 137.84 €
Floating Gate Devices: Operation and Compact Modeling Paolo Pavan / Livro Livro de capa dura
common.buy 99.15 €

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