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

19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers

Língua InglêsInglês
Livro Capa mole
Livro Logic-Based Program Synthesis and Transformation Danny De Schreye
Código Libristo: 01655691
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, abril 2010
This volume constitutes the thoroughly refereed post-conference proceedings of the 19th Internationa... 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

Racconti di Natale Charles Dickens / Livro Capa mole
common.buy 6.07 €
Geometrie Symplectique et Mecanique Claude Albert / Livro Capa mole
common.buy 32.30 €
Lumière sur Alzheimer Dr Ky Tran / Livro Capa mole
common.buy 12.85 €
Таро. Истоки традиции. "Иллюстрированный ключ к Таро" А.Э. Уэйта, "Книга Т" С. Мазерса и другие труды классиков "английской школы". Перевод и коммента Анна Огински / Livro Livro de capa dura
common.buy 29.56 €
Fantastische Häkelfreunde 2 Amigurumipatterns.net / Livro Capa mole
common.buy 11.94 €
Kártyavetés, de hogyan Carla Ferguson / Livro Capa mole
common.buy 10.62 €
Bis die Sterne zittern Johannes Herwig / E-book Adobe ePub DRM
common.buy 9.31 €
Rendel - Cycle of Revenge, 1 Blu-ray Jesse Haaja / Vídeo Blu-ray
common.buy 18.52 €
Identificação de cultivares de tomate (Lycopersicon esculentum Mill) Selvarani Karuppiah / Livro Capa mole
common.buy 65.73 €
Sieben Abende vor dem Schlafengehen - Flugmaschinen Patrik Lumen / Livro Capa mole
common.buy 11.84 €
Remembering in the Renaissance: Humanist Narratives of the Sack of Rome Kenneth Gouwens / Livro Livro de capa dura
common.buy 184.63 €
Beethovens Kammermusik Albrecht Riethmüller / Livro Livro de capa dura
common.buy 87.60 €
Der große Gatsby F. Scott Fitzgerald / Livro Livro de capa dura
common.buy 11.74 €
Die Chemische Blockierung Des Adrenergischen Systems Am Menschen Arnold Bernsmeier / Livro Capa mole
common.buy 47.39 €
Welt der Zahl - Ausgabe 2014 für Bayern Karin Baumgartner / Livro Folha
common.buy 22.07 €
Slavné melodie v lehké úpravě pro klavír 6 R. Linhart / Livro Capa mole
common.buy 7.28 €
Aberglauben aus Masuren M Toeppen / Livro Capa mole
common.buy 14.27 €
Kundenloyalitat als Erfolgsgroesse im Customer Relationship Management Lars Edingloh / Livro Capa mole
common.buy 58.23 €
Her a Hwyl Mathemateg - Datrys Problemau, Oed 7-9 (Problem Solving Made Easy, Ages 7-9) Joshua Head / Livro Capa mole
common.buy 6.67 €
Übungen zum italienischen Wortschatz Wolfgang Reumuth / Livro Capa mole
common.buy 8.60 €
Archetypen, Innere Bilder und Körpersymbolik Detlef Kappert / Livro Capa mole
common.buy 13.36 €
L'AVENTURA DE L'HEROIC CAVALLER FILIVERT ANNE-GAELLE BALPE / Livro Livro de capa dura
common.buy 16.50 €
Ueber Wissenschaftliche Und Nichtwissenschaftliche Philosophie (1883) Alois Riehl / Livro Capa mole
common.buy 16.50 €
gelosia da orango Irena Trevisan / Livro Livro de capa dura
common.buy 13.76 €

This volume constitutes the thoroughly refereed post-conference proceedings of the 19th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2009, held in Coimbra, Portugal, during September 9-11, 2009. The 14 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 Danny De Schreye
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2010
Número de páginas 205
EAN 9783642125911
ISBN 3642125913
Código Libristo 01655691
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 338
Dimensões 155 x 235 x 12

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 > 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

In the Electric Eden: Stories Nick Arvin / Livro Capa mole
common.buy 11.54 €
House Of Shadows Nicola Cornick / Livro Capa mole
common.buy 14.27 €
Dreams to Dust: A Tale of the Oklahoma Land Rush Sheldon Russell / Livro Capa mole
common.buy 21.16 €
ESSAYS ON WOMAN'S TRUE DESTINY, RESPONSI ANGELIQUE LE MARTIN / Livro Livro de capa dura
common.buy 25.41 €
Chapter in the History of Cleveland Clarence Monroe Burton / Livro Livro de capa dura
common.buy 22.98 €
Yayoi Kusama Catherine Taft / Livro Livro de capa dura
common.buy 42.73 €
Production Planning and Control for the Mass Production Plant: Mass Production Series 1-7 American Management Association / Livro Capa mole
common.buy 25.41 €
Aiden the Alligator: An interactive learning book A T Broker / Livro Capa mole
common.buy 10.32 €
Anthropological Studies in the Strange Sexual Practices of All Races in All Ages Iwan Bloch / Livro Livro de capa dura
common.buy 37.57 €
Selected Works of Jawaharlal Nehru Madhavan K. Palat / Livro Livro de capa dura
common.buy 40.10 €
Why Was Queen Victoria Such a Prude?: ...and Other Historical Myths and Follies David Haviland / Livro Capa mole
common.buy 11.03 €
Hey Kids! Comics! Howard Victor Chaykin / Livro Capa mole
common.buy 14.07 €
Ordinary People as Mass Murderers O. Jensen / Livro Capa mole
common.buy 54.28 €
Planning, Law and Economics Needham / Livro Capa mole
common.buy 67.14 €
Principal
Last Of The Breed Louis L'Amour / Livro Capa mole
common.buy 6.27 €
Weiss Ratings Guide to Health Insurers, Spring 2024 Weiss Ratings Weiss Ratings / Livro Capa mole
common.buy 352.86 €
Mrs. Martin's Company: And Other Stories (1896) Jane Barlow / Livro Capa mole
common.buy 23.79 €
Where Do We Go from Here? / Livro Capa mole
common.buy 17.01 €
Folk-Lore Society for collecting and printing Relics of Popular Antiquities, Marian Roalfe Cox / Livro Capa mole
common.buy 31.49 €
Ultimate Keto Breakfast Cookbook for Women over 50 Katie Attanasio / Livro Livro de capa dura
common.buy 20.55 €
Principal
Alice in Borderland, Vol. 7 Haro Aso / Livro Capa mole
common.buy 12.85 €
C. Plinii Secundi Naturalis Historia, Volumes 1-2 Pliny (the Elder.) / Livro Livro de capa dura
common.buy 34.32 €
Minami's Lover H. Paige / Livro Livro de capa dura
common.buy 20.25 €
Tall Man In A Low Land Harry Pearson / Livro Capa mole
common.buy 12.04 €

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?