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

14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers

Língua InglêsInglês
Livro Capa mole
Livro Logic Based Program Synthesis and Transformation Sandro Etalle
Código Libristo: 01560821
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, junho 2005
This book constitutes the thoroughly refereed postproceedings of the 14th International Symposium on... Descrição completa
? points 132 b
54.51 €
Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

Cuerpazo Para Siempre (Spanish Original): Mi Método Para Transformar Tu Figura En Un Cuerpo de Infarto Claudia Molina / Livro Capa mole
common.buy 17.22 €
Aventures del capita calçotes DAV PILKEY / Livro Livro de capa dura
common.buy 10.23 €
Guide Et Formulaire de Therapeutique Generale Et Speciale HERZEN-V / Livro Capa mole
common.buy 33.23 €
Die Polen in Oberschlesien Paul Weber / Livro Capa mole
common.buy 13.16 €
Commentaire Sur La Structure Microscopique Du Rein Des Vertebres, A l'Occasion d'Un Memoire SUCQUET-J- / Livro Capa mole
common.buy 13.67 €
Aufsichtsrat der AG im Bankgesellschaftsrecht Stephan Fackler / Livro Livro de capa dura
common.buy 97.59 €
Disney: Raya und der letzte Drache / Livro Livro de capa dura
common.buy 8.20 €
Świat równoległy wyd. 2 Tomasz Michniewicz / Livro Livro de capa dura
common.buy 13.77 €
Degas Loyrette / Livro Capa mole
common.buy 19.65 €
SINFONIE F MAJOR FALCK 67 ORCHESTRE WILHELM FRIEDEMANN B Artigos impressos Partituras
common.buy 24.52 €
Mujeres artistas LINDA NOCHIN / Livro Capa mole
common.buy 48.94 €
Thelma et les enfants à table Colombe Schneck / Livro Livro de capa dura
common.buy 12.66 €
Satisfaç?o do Cliente com o Seguro de Entrega de Serviços-Motor Stephen Kweku Amoah / Livro Capa mole
common.buy 62.73 €
Surpresa Mais Doce Augusta Hill / E-book Adobe ePub DRM
common.buy 0.90 €
L'ombre L'eau qui s'écoule Lorrain-Vesque / Livro Capa mole
common.buy 18.33 €
Journal d'un Noob - Tome 8 Cube Kid / Livro Capa mole
common.buy 16.10 €
Huevo de Dragón (Dragon Egg Spanish Edition) Hala Wittwer / Livro Livro de capa dura
common.buy 19.25 €
Ja, pesnička 2 collegium / Livro Livro de capa dura
common.buy 5.77 €
Cesta z lebek Tyrani a králové John Marco / Livro Capa mole
common.buy 10.43 €
Největší současní básníci Petr Kovář / Livro Folha
common.buy 8.10 €
Ja genau! C. Böschel / Livro Capa mole
common.buy 25.33 €
Innovatives Beschaffungsmanagement Christoph W. Gabath / Livro Livro de capa dura
common.buy 53.60 €
Principal
Dekorative Handarbeiten Ritta Drommer / Livro Capa mole
common.buy 11.54 €
Gottesfreundin Karl Gjellerup / Livro Capa mole
common.buy 17.12 €

This book constitutes the thoroughly refereed postproceedings of the 14th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2004, held in Verona, Italy in August 2004. The 17 revised full papers presented were carefully selected and revised from 23 full paper and 11 extended abstract submissions. The papers are organized in topical sections on verification and analysis, theory and security, transformations, program development, termination, and program development and 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 Sandro Etalle
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2005
Número de páginas 284
EAN 9783540266556
ISBN 3540266550
Código Libristo 01560821
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 450
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 > 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 > 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

Graph Based Representations in Pattern Recognition Edwin Hancock / Livro Capa mole
common.buy 54.51 €
Towards a Service-Based Internet. ServiceWave 2010 Workshops Michel Cezon / Livro Capa mole
common.buy 66.68 €
Model-Based Reasoning in Science and Technology Lorenzo Magnani / Livro Livro de capa dura
common.buy 217.17 €
Lonely Planet Pocket Ibiza Planet Lonely / Livro Capa mole
common.buy 19.04 €
E-Myth Contractor Michael E. Gerber / Livro Capa mole
common.buy 14.28 €
Maltese Falcon Dashiell Hammett / Livro Capa mole
common.buy 12.66 €
Text Book of Boxing Jim Driscoll / Livro Capa mole
common.buy 17.22 €
Secret Kingdom: Magic Mountain Rosie Banks / Livro Capa mole
common.buy 8.20 €
Time as a Metaphor of History: Early India Romila Thapar / Livro Capa mole
common.buy 11.14 €
Taak of the Toon Sid Waddell / Livro Capa mole
common.buy 10.83 €
International Directory of Company Histories Tina Gant / Livro Livro de capa dura
common.buy 583.54 €
Human Brain During the Late First Trimester Shirley A. Bayer / Livro Capa mole
common.buy 104.38 €
Principal
Rising Of The Shield Hero Volume 08: Light Novel Aneko Yusagi / Livro Capa mole
common.buy 11.34 €
Nuclear Weapons Counterproliferation Jack Garvey / Livro Livro de capa dura
common.buy 179.98 €
Global Technological Change Zhouying Jin / Livro Capa mole
common.buy 39.82 €
Pauline Canon Stanley E. Porter / Livro Livro de capa dura
common.buy 54.51 €
Enterococcus faecalis Henry L Mack / Livro Livro de capa dura
common.buy 323.38 €
Season of Birth and Schizophrenia Fatima Kamran / Livro Capa mole
common.buy 49.95 €
The Mad Pranks And Merry Jests Of Robin Goodfellow (1841) John Payne Collier / Livro Capa mole
common.buy 17.42 €
Google Cloud Platform in Action John J. Geewax / Livro Capa mole
common.buy 61.10 €
How to Live an Abundant Life Ph D D-Cpc Pastor (Dr ) Ayo Laleye / Livro Livro de capa dura
common.buy 27.56 €
Cocoa for Santa: Xavier Degphilip / Livro Capa mole
common.buy 10.33 €
Cambridge Natural History Volume 5 S F Harmer / Livro Livro de capa dura
common.buy 41.14 €
Salt & Light: Being The Hands & Feet of Christ (in a cruel and dangerous world) Matt Poole / Livro Capa mole
common.buy 8.60 €

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