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

Língua InglêsInglês
Livro Capa mole
Livro Logic-Based Program Synthesis and Transformation Elvira Albert
Código Libristo: 01663644
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, abril 2013
This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International... Descrição completa
? points 103 b
42.43 €
Armazenamento externo Envio em 5-8 dias

Política de devolução de 30 dias

Os clientes também compraram

Em breve Novo
Expertenwissen Nacken Marco Gassen / Livro Capa mole
common.buy 41.21 €
Einheit Auf Befehl? Sabine Collmer / Livro Capa mole
common.buy 47.39 €
Dieta a Base de Plantas Chantel Stephens / Livro Capa mole
common.buy 13.97 €
Les Bains de Mer de l'Algerie BERNARD-C / Livro Capa mole
common.buy 11.64 €
Kognitive Prozesse als Bestimmungsgroessen des Konsumentenverhaltens und ihre Beeinflussbarkeit durch das Marketing Irina Mantai / Livro Capa mole
common.buy 15.08 €

This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2012, held in Leuven, Belgium in September 2012. §The 13 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 27 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 Elvira Albert
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2013
Número de páginas 245
EAN 9783642381966
ISBN 3642381960
Código Libristo 01663644
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 454
Dimensões 155 x 235 x 15

Categorias

Tecnologia, Engenharia & Agricultura > Eletrónica & engenharia das comunicações > Engenharia eletrónica > Engenharia de controlos automáticos > Robótica
Matemática & ciência > Matemática > Fundamentos da matemática > Lógica matemá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

Fading Light Chris Steele-Perkins / Livro Livro de capa dura
common.buy 26.42 €
What Makes Cannabis Recipes Work? Ronald E. Hudkins / E-book Adobe ePub DRM
common.buy 4.35 €
U.S.-Taiwan Relations Bonnie Glaser / Livro Capa mole
common.buy 30.48 €
Steam Trains Today Andrew Martin / Livro Capa mole
common.buy 12.04 €
OBOE CONCERTO IN C HOB.VIIG:C1 HAUTBOIS FRANZ JOSEPH HAYDN / Livro Capa mole
common.buy 33.72 €
History of World Egyptology Andrew Bednarski / Livro Livro de capa dura
common.buy 181.89 €
Practical User Research Emmanuelle Savarit / Livro Capa mole
common.buy 42.73 €
SOUTHERN TIBET, DISCOVERIES IN FORMER TI HEDIN / Livro Livro de capa dura
common.buy 33.51 €
Top 25 Property Management KPIs of 2011-2012 The Kpi Institute / Livro Capa mole
common.buy 38.48 €
Irena's Children: Young Readers Edition; A True Story of Courage Tilar J. Mazzeo / Livro Capa mole
common.buy 6.27 €
Principal
Mobile Suit Gundam Thunderbolt, Vol. 1 Yasuo Ohtagaki / Livro Capa mole
common.buy 11.03 €
Ghosts - Notes from a Field Study Ken Lauter / Livro Capa mole
common.buy 18.32 €
High Point of Persistence Hilary White / Livro Capa mole
common.buy 22.58 €
Foundations in Sociolinguistics Dell Hymes / Livro Livro de capa dura
common.buy 327.74 €
Guide to Magistrates Mayo / Livro Capa mole
common.buy 41.11 €
In the Museum of Man Alice L Conklin / Livro Livro de capa dura
common.buy 145.43 €
Fortschritte der Chemie organischer Naturstoffe/Progress in the Chemistry of Organic Natural Products Y. Asakawa / Livro Capa mole
common.buy 46.07 €
Transactions in Bionic Patents, Vol. 8 Michael Dienst / Livro Capa mole
common.buy 14.27 €
Clinical CT Suzanne Henwood / Livro Capa mole
common.buy 64.51 €
Autonomy in Jewish Philosophy Kenneth Seeskin / Livro Capa mole
common.buy 38.88 €
All Elevations Unknown Sam Lightner / Livro Capa mole
common.buy 13.56 €
Influenza Virus Yoshihiro Kawaoka / Livro Livro de capa dura
common.buy 134.39 €
The Archaeology of Political Spaces Dominik Bonatz / Livro Livro de capa dura
common.buy 89.02 €
Aspects of Physical Biology Giancarlo Franzese / Livro Livro de capa dura
common.buy 50.63 €

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?