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

17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers

Língua InglêsInglês
Livro Capa mole
Livro Logic-Based Program Synthesis and Transformation Andy King
Código Libristo: 01570057
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, março 2008
This postproceedings volume of the 17th International Symposium on Logic-Based Program Synthesis and... Descrição completa
? points 111 b
45.97 €
Armazenamento externo Envio em 5-8 dias

Política de devolução de 30 dias

Os clientes também compraram

Klar zum Feuern John Martin Ungar / Livro Capa mole
common.buy 8.07 €
20. Jahrhundert. Gefahrdet und gefahrlich Christiane Hagn / Livro Capa mole
common.buy 14.24 €
Circoncision masculine sans risque pour l'infection par le VIH en Ouganda Nicholas Sebuliba Kirirabwa / Livro Capa mole
common.buy 31.42 €
Autonomía de la escuela : principios y propuestas Gadotti (BR) / Livro Capa mole
common.buy 18.18 €
L'Histoire Des Juifs Depuis Jesus-Christ Jusqu'a Present: Pour Servir de Suplement [Sic] & de Continuation A L'Histoire de Joseph... Jacques Basnage / Livro Capa mole
common.buy 27.78 €
Melekler Kiz mi, Erkek mi Özkan Öze / Livro Capa mole
common.buy 8.28 €
Die asiatische Cholera Joseph Riedel / Livro Capa mole
common.buy 10.30 €
Fourmi, Productions de l'Ete Pour Nos Recreations de l'Hiver SANS AUTEUR / Livro Capa mole
common.buy 14.84 €
Extraits Du 'Lexicon Politique', Ouvrage Inedit Du Chevalier de Sade. Volume 3 De Sade-L / Livro Capa mole
common.buy 10.80 €
Curso sobre agricultura biodinámica STEINER / Livro Capa mole
common.buy 19.19 €
Pathologie und Therapie der mannlichen Impotenz Victor G. Vecki / Livro Capa mole
common.buy 17.37 €
Manual técnico de la construcción. Gestión de la prevención de riesgos laborales y de la protección S. L. Consultores en Previsión Social / Livro Capa mole
common.buy 89.62 €

This postproceedings volume of the 17th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2007, examines program termination, program transformation, constraint solving and analysis as well as software engineering.

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 Andy King
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2008
Número de páginas 222
EAN 9783540787686
ISBN 3540787682
Código Libristo 01570057
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 365
Dimensões 154 x 14 x 239

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

Controlled Nanoscale Motion Heiner Linke / Livro Livro de capa dura
common.buy 91.75 €
Clarinet for Beginners: Book 1 - Elementary Avrahm Galper / Livro Capa mole
common.buy 10.20 €
Rise of Early Modern Science HUFF TOBY E. / Livro Livro de capa dura
common.buy 123.78 €
Delaware Indian Legend and the Story of their Troubles Richard C. Adams / Livro Capa mole
common.buy 11.11 €
Extraordinary Cases. Henry L Clinton / Livro Capa mole
common.buy 21.62 €
A Blueprint For Achieving Peace On Earth MR Russell E Hill / Livro Capa mole
common.buy 12.62 €
Drowning In My Tea Cup: There Should Have Been A Rainbow Joseph C Cullis / Livro Capa mole
common.buy 6.86 €
The Notary Art of Solomon: Ars Notoria King Solomon / Livro Capa mole
common.buy 6.05 €
Chimpanzee Lisa Jackson / Livro Livro de capa dura
common.buy 32.23 €
Living Theory C.E. Hurst / Livro Capa mole
common.buy 101.14 €
Cheyenne Quinn M. Arnold / Livro Livro de capa dura
common.buy 33.44 €
Remarks on the Principles Adopted by Bishop Lowth in Correcting the Text of the Hebrew Bible John Rogers / Livro Capa mole
common.buy 15.65 €
Retail Marketing Strategy Constant Berkhout / Livro Livro de capa dura
common.buy 103.67 €
Beyond Chopped Liver Kenden Alfond / Livro Livro de capa dura
common.buy 28.89 €
Principal
Rise of the Dragon Elio M. Garcia Jr. / Livro Livro de capa dura
common.buy 31.52 €
THINGS WE DO TO OUR FRIENDS DARWENT HEATHER / Livro Capa mole
common.buy 11.91 €
Values Andreas Urs Sommer / Livro Livro de capa dura
common.buy 42.94 €
Incinerator Niall Leonard / Livro Capa mole
common.buy 12.02 €
Prime Minister's Ironing Board and Other State Secrets Adam Macqueen / Livro Capa mole
common.buy 15.96 €
Magician's Doubts Michael Wood / Livro Capa mole
common.buy 45.87 €
Dust Julian Hawthorne / Livro Livro de capa dura
common.buy 46.78 €
How to Knit a Love Song: A Cypress Hollow Yarn Rachael Herron / Livro Capa mole
common.buy 13.63 €
Miki Falls, Spring Mark Crilley / Livro Capa mole
common.buy 6.96 €
Hard Tack and Coffee John B. Billings / Livro Capa mole
common.buy 17.47 €

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