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 €

Contacto

Como comprar

Ajuda

A minha conta

▸ Vazio :-(

Logic Program Synthesis and Transformation

Name: Logic Program Synthesis and Transformation
Brand: Springer, Berlin
SKU: 05274555
Price: 46.07 EUR
Availability: InStock
Author: Maurizio Proietti
ISBN: 9783540609391

5th International Workshop, Utrecht, The Netherlands, September 20-22, 1995. Proceedings

Maurizio Proietti

Língua

Inglês

Livro Capa mole

Código Libristo: 05274555

Editoras Springer, Berlin, novembro 1995

This book constitutes the refereed proceedings of the 5th International Workshop on Logic Program Sy... Descrição completa

Código Libristo: 05274555

111 b

46.07 €

Armazenamento externo Envio em 5-8 dias

Política de devolução de 30 dias

Os clientes também compraram

Germanistik - Forschungsstand und Perspektiven, Teil 1, Germanistische Sprachwissenschaft, Didaktik der Deutschen Sprache und Literatur Georg Stötzel

Livro de capa dura

186.76 €

Des Effets de la Derivation Et Deuxieme Appendice A Mes Observations GONDRET-L-F

Capa mole

11.64 €

Alpha - Tome 13 - Le Syndrome de Maracamba Jigounov Iouri

Livro de capa dura

15.08 €

AVUI M'HE COMPRAT UNA DESTRAL RUPPMANN TOBELLA

Capa mole

20.35 €

Seide von Alessandro Baricco (Lekturehilfe) Catherine Bourguignon

Adobe ePub DRM

9.51 €

This book constitutes the refereed proceedings of the 5th International Workshop on Logic Program Synthesis and Transformation, LOPSTR'95, held in Utrecht, The Netherlands in September 1995.The 19 papers included were selected from 40 workshop submissions; they offer a unique up-to-date account of the use of formal synthesis and transformation techniques for computer-aided development of logic programs. Among the topics addressed are deductive and inductive program synthesis, synthesis models based on constructive type theory, program specification, program analysis, theorem proving, and applications to various types of programs.

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 Program Synthesis and Transformation

Autor Maurizio Proietti

Língua

Inglês

Encadernação Livro - Capa mole

Data de emissão 1996

Número de páginas 274

EAN 9783540609391

ISBN 3540609393

Código Libristo 05274555

Editoras Springer, Berlin

Peso 378

Dimensões 156 x 234 x 15

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