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 €
phone Contacto phoneComo comprar

Logic-Based Program Synthesis and Transformation

23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers

Língua InglêsInglês
Livro Capa mole
Livro Logic-Based Program Synthesis and Transformation Gopal Gupta
Código Libristo: 09094864
Editoras Springer International Publishing AG, dezembro 2014
This book constitutes the thoroughly refereed post-conference proceedings of the 23rd International... Descrição completa
? points 129 b
53.25 €
Armazenamento externalo em pequenas quantidades Envio em 13-18 dias

Política de devolução de 30 dias

Os clientes também compraram

Monsieur Et Madame Frontal, Ou Cranomanie Et Romantisme, Comedie-Critique En 1 Acte Colombat-M / Livro Capa mole
common.buy 12.34 €
Plop. Libro bagno Matt Wolf / Livro Capa mole
common.buy 4.65 €
La Guida Completa all'alimentazione nella Boxe: Massimizza il tuo Potenziale Correa / Livro Capa mole
common.buy 18.62 €
Geheimnisse des Alten und des Neuen Bundes Anna Katharina Emmerick / Livro Livro de capa dura
common.buy 16.70 €
Two worlds Jitka Herodesová / Livro Capa mole
common.buy 1.81 €
Religie Vroeger En Nu John.G.O. De Koker / Livro Capa mole
common.buy 16.19 €
Gauguin, voyage au bout de la peinture Vauday / Livro Capa mole
common.buy 22.37 €
O Papel Do Advogado NAS Transacoes Imobiliarias Walter Figueiredo de Almeida / Livro Capa mole
common.buy 40.40 €

This book constitutes the thoroughly refereed post-conference proceedings of the 23rd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2013, held in Madrid, Spain, in September 2013. The 13 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 21 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, applications and tools, program/model manipulation, and transformation techniques for any programming language paradigm.

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 Gopal Gupta, Ricardo Pe?a
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2014
Número de páginas 237
EAN 9783319141244
ISBN 3319141244
Código Libristo 09094864
Editoras Springer International Publishing AG
Peso 3869
Dimensões 155 x 235 x 13

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 > Matemática para investigadores informáticos
Matemática & ciência > Matemática > Matemáticas discretas
Informática & tecnologia da informação > Programação & engenharia informática > Engenharia de programas
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
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

Handbook of Evidence-Based Practices in Intellectual and Developmental Disabilities Nirbhay N. Singh / Livro Livro de capa dura
common.buy 433.49 €
Badger the Mystical Mutt and the Flying Fez Lyn McNicol / Livro Capa mole
common.buy 6.17 €
MOLESKINE 2023 18MONTH WEEKLY HORIZONTAL MOLESKINE / Livro Livro de capa dura
common.buy 20.04 €
Business Basics Berggren Newton Benny Berggren Newton / Livro Capa mole
common.buy 20.04 €
The Prickly Pear And Other Cacti As Food For Stock (1905) David Griffiths / Livro Capa mole
common.buy 16.50 €
A Mere Cypher: A Novel (1893) Mary Angela Dickens / Livro Capa mole
common.buy 32.70 €
Promotion of learning in India during Muhammadan rule by Muhammadans NARENDRA NATH LAW / Livro Capa mole
common.buy 33.30 €
Can I Trust You? Yoram Solomon / Livro Capa mole
common.buy 10.82 €
Gavin's 100 Day Diary K P Lee / Livro Capa mole
common.buy 7.99 €
40 Prayers for Nurses D Duane Engler / Livro Capa mole
common.buy 7.08 €
Criminology, Conflict Resolution and Restorative Justice K. McEvoy / Livro Capa mole
common.buy 104.29 €
That A Divine Revelation Contains Mysteries Is No Valid Argument Against Its Truth Alexander Taylor / Livro Livro de capa dura
common.buy 28.65 €
Around the House Roger Priddy / Livro Livro de capa dura
common.buy 7.38 €
Iron Industry Richard Hayman / Livro Capa mole
common.buy 10.42 €
Grace by Which I Stand Lin Lockamy / Livro Capa mole
common.buy 12.14 €
May I Quote You on That? Stephen Spector / Livro Capa mole
common.buy 13.76 €
Twilight at the Equator Jaime Manrique / Livro Capa mole
common.buy 17.10 €

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?