Verificar estado da encomenda

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

Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 € Ponto GLS 4.49 €

Contacto

Como comprar

Ajuda

A minha conta

▸ Vazio :-(

Logic Based Program Synthesis and Transformation

Name: Logic Based Program Synthesis and Transformation
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01561746
Price: 58.57 EUR
Availability: InStock
Author: Patricia M. Hill
ISBN: 9783540326540

15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers

Patricia M. Hill

Língua

Inglês

Livro Capa mole

Código Libristo: 01561746

Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, março 2006

This book constitutes the thoroughly refereed post-proceedings of the 15th International Symposium o... Descrição completa

Código Libristo: 01561746

141 b

58.57 €

Armazenamento externalo em pequenas quantidades Envio em 13-18 dias

Até 30 dias para devoluções

Os clientes também compraram

Patientenratgeber Mastzellaktivierungssyndrom (MCAS) Udo Berg

Capa mole

20.36 €

Анна Каренина Лев Толстой

Livro de capa dura

30.09 €

Le Grand Atlas géographique du monde 6e ed

Livro de capa dura

71.95 €

D.N. Angel Pearls 2 Yukiru Sugisaki

Capa mole

11.54 €

Ökologie des Purpurreihers (Ardea purpurea) in Numidia N. E. Algerien Boudjema Samraoui

Capa mole

51.88 €

VILLANUEVA DE CASTRO

Capa mole

19.45 €

Goodbye Istanbul Esmahan Aykol

Capa mole

14.89 €

Der Europäische Sozialstaat und seine Institutionen. Detlef Merten

Capa mole

79.65 €

DDR-Wohnungspolitik ab 1971 und ihre Darstellung in den DEFA-Filmen "Die Legende von Paul und Paula und "Insel der Schwane. Eric Richter

Capa mole

17.12 €

Routage ad hoc hiérarchique ? base de clusters

Capa mole

60.39 €

Resume de Repetitions Ecrites Sur Le Droit Penal. Code Penal Et Code d'Instruction Criminelle BOEUF-F

Capa mole

28.27 €

Im Herzland Günther Dellbrügger

Livro de capa dura

22.59 €

Die Idee der Bibliothek und ihre Zukunft Michael Knoche

Livro de capa dura

19.04 €

Bluchertrompete Ludwig Salomon

Capa mole

9.62 €

Faust Johann Wolfgang von Goethe

Capa mole

24.62 €

Plan de Confederation Europeenne Et Universelle Du Livre Precurseur BREMOND-J-J

Capa mole

13.67 €

Documentos postúmos del Club Pickwick Charles Dickens

Capa mole

13.37 €

This book constitutes the thoroughly refereed post-proceedings of the 15th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2005, held in September 2005. The 10 revised full papers presented together with one invited talk were carefully selected and revised from 33 submissions. The papers are organized in topical sections on tools for program development, program transformations, and software development and program analysis.

Atriz & Poliglota

EWA KASP para

Reproduzir vídeo

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 Patricia M. Hill

Língua

Inglês

Encadernação Livro - Capa mole

Data de emissão 2006

Número de páginas 182

EAN 9783540326540

ISBN 3540326545

Código Libristo 01561746

Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Peso 630

Dimensões 155 x 235 x 20

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