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

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 111 b
46.07 €
Armazenamento externo Envio em 5-8 dias

Política de devolução de 30 dias

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 14.07 €
Mujeres artistas LINDA NOCHIN / Livro Capa mole
common.buy 41.21 €
Aufsichtsrat der AG im Bankgesellschaftsrecht Stephan Fackler / Livro Livro de capa dura
common.buy 82.23 €
Ja, pesnička 2 collegium / Livro Livro de capa dura
common.buy 4.35 €
Huevo de Dragón (Dragon Egg Spanish Edition) Hala Wittwer / Livro Livro de capa dura
common.buy 16.70 €
Journal d'un Noob - Tome 8 Cube Kid / Livro Capa mole
common.buy 14.17 €
Opowieść wigilijna Dickens Karol / Livro Livro de capa dura
common.buy 4.45 €
L'ombre L'eau qui s'écoule Lorrain-Vesque / Livro Capa mole
common.buy 16.09 €
Surpresa Mais Doce Augusta Hill / E-book Adobe ePub DRM
common.buy 0.80 €
Thelma et les enfants à table Colombe Schneck / Livro Livro de capa dura
common.buy 11.23 €
SINFONIE F MAJOR FALCK 67 ORCHESTRE WILHELM FRIEDEMANN B Artigos impressos Partituras
common.buy 21.46 €
Degas Loyrette / Livro Capa mole
common.buy 17.21 €
Świat równoległy wyd. 2 Tomasz Michniewicz / Livro Livro de capa dura
common.buy 11.74 €
Die Polen in Oberschlesien Paul Weber / Livro Capa mole
common.buy 11.13 €
La Troisi?me République française et ce qu'elle vaut Joseph Arthur De Gobineau / Livro Capa mole
common.buy 8.90 €
Aventures del capita calçotes DAV PILKEY / Livro Livro de capa dura
common.buy 8.60 €
Commentaire Sur La Structure Microscopique Du Rein Des Vertebres, A l'Occasion d'Un Memoire SUCQUET-J- / Livro Capa mole
common.buy 11.64 €
Guide Et Formulaire de Therapeutique Generale Et Speciale HERZEN-V / Livro Capa mole
common.buy 28.55 €
Cesta z lebek Tyrani a králové John Marco / Livro Capa mole
common.buy 9.71 €
Největší současní básníci Petr Kovář / Livro Folha
common.buy 6.78 €
Ja genau! C. Böschel / Livro Capa mole
common.buy 21.56 €
Klick! Sozialkunde/Politik - Fachhefte für alle Bundesländer - Ausgabe 2008 - Band 3. Bd.3 Christine Fink / Livro Folha
common.buy 13.66 €
Vermarktung von Unterhaltung bei Germanys next Topmodel Anina Müller / Livro Capa mole
common.buy 14.27 €
Formierung der Ministerialitat und ihre Funktionen in der salischen und staufischen Herrschaft Johannes Grundberger / Livro Capa mole
common.buy 14.27 €

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

Model-Based Reasoning in Science and Technology Lorenzo Magnani / Livro Livro de capa dura
common.buy 183.62 €
Towards a Service-Based Internet. ServiceWave 2010 Workshops Michel Cezon / Livro Capa mole
common.buy 57.11 €
Graph Based Representations in Pattern Recognition Edwin Hancock / Livro Capa mole
common.buy 46.07 €
Lonely Planet Pocket Ibiza Planet Lonely / Livro Capa mole
common.buy 16.70 €
Nuclear Weapons Counterproliferation Jack Garvey / Livro Livro de capa dura
common.buy 117.58 €
How to Live an Abundant Life Ph D D-Cpc Pastor (Dr ) Ayo Laleye / Livro Livro de capa dura
common.buy 23.89 €
Salt & Light: Being The Hands & Feet of Christ (in a cruel and dangerous world) Matt Poole / Livro Capa mole
common.buy 7.28 €
Human Brain During the Late First Trimester Shirley A. Bayer / Livro Capa mole
common.buy 85.68 €
The Mad Pranks And Merry Jests Of Robin Goodfellow (1841) John Payne Collier / Livro Capa mole
common.buy 14.88 €
Season of Birth and Schizophrenia Fatima Kamran / Livro Capa mole
common.buy 42.22 €
Spoken Language Translator Manny RaynerDavid CarterPierrette BouillonVassilis Digalakis / Livro Capa mole
common.buy 54.28 €
English Auxiliaries Anthony R. Warner / Livro Capa mole
common.buy 41.62 €
Peasant Uprisings in Seventeenth-Century France, Russia and China Roland Mousnier / Livro Livro de capa dura
common.buy 195.47 €
Enterococcus faecalis Henry L Mack / Livro Livro de capa dura
common.buy 272.24 €
Pauline Canon Stanley E. Porter / Livro Livro de capa dura
common.buy 46.07 €
Taak of the Toon Sid Waddell / Livro Capa mole
common.buy 8.90 €
E-Myth Contractor Michael E. Gerber / Livro Capa mole
common.buy 11.64 €
Maltese Falcon Dashiell Hammett / Livro Capa mole
common.buy 9.00 €
Text Book of Boxing Jim Driscoll / Livro Capa mole
common.buy 14.07 €
Secret Kingdom: Magic Mountain Rosie Banks / Livro Capa mole
common.buy 6.67 €
Time as a Metaphor of History: Early India Romila Thapar / Livro Capa mole
common.buy 12.35 €
International Directory of Company Histories Tina Gant / Livro Livro de capa dura
common.buy 499.01 €
Global Technological Change Zhouying Jin / Livro Capa mole
common.buy 33.72 €
Forensic Ballistics in Court - Interpretation and Presentation of Firearms Evidence Brian J. Heard / Livro Livro de capa dura
common.buy 124.37 €

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