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 € Correio MRW 3.99 € Ponto DPD 3.99 €

Contacto

Como comprar

Ajuda

A minha conta

▸ Vazio :-(

Rewriting and Typed Lambda Calculi

Name: Rewriting and Typed Lambda Calculi
Brand: Springer International Publishing AG
SKU: 02775233
Price: 46.07 EUR
Availability: InStock
Author: Gilles Dowek
ISBN: 9783319089171

Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings

Gilles Dowek

Língua

Inglês

Livro Capa mole

Código Libristo: 02775233

Editoras Springer International Publishing AG, julho 2014

This book constitutes the refereed proceedings of the Joint 25th International Conference on Rewriti... Descrição completa

Código Libristo: 02775233

111 b

46.07 €

Armazenamento externo Envio em 5-8 dias

Política de devolução de 30 dias

Os clientes também compraram

Αγάπα Μόνο Εμένα Amanda Mariel

Adobe ePub DRM

3.43 €

Microsoft 365 Markus Widl

Livro de capa dura

58.73 €

Nasze kochane pieski Opracowanie zbiorowe

Capa mole

0.40 €

Sami et Julie CP Niveau 3 : Sami et Julie jardinent Emmanuelle Massonaud Livro

Capa mole

5.16 €

Innovative Wertschoepfung durch neue Formen der globalen Zusammenarbeit Katrin Sturm

Capa mole

15.08 €

AYANTEK MIRIAM JIMENEZ IRIARTE

Livro de capa dura

19.44 €

Novellen Helene Böhlau

Capa mole

11.94 €

Alternative Investments Michael Sezemsky

Capa mole

37.87 €

Telearbeit unter besonderer Berucksichtigung ihrer Wirtschaftlichkeit und Qualitat Oliver Wiesehahn

Capa mole

30.07 €

Having a Fulfilling Life as an International Student in Japan (Japanese Edition) Chinthaka Premachandra

Capa mole

12.65 €

Kompensatorenlyrik Thomas Michels

Livro de capa dura

11.54 €

Vulgarisation en zone SOFITEX : cas des régions de Dédougou et Houndé Aimé Germain Traore

Capa mole

31.49 €

Kod Adi Mucize Ünver Alibey

Capa mole

9.11 €

Hagibor Milena Slavická

Capa mole

7.48 €

This book constitutes the refereed proceedings of the Joint 25th International Conference on Rewriting Techniques and Applications, RTA 2014, and 12th International Conference on Typed Lambda-Calculi and Applications, TLCA 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014. The 28 revised full papers and 3 short papers presented were carefully reviewed and selected from 87 submissions. The papers provide research results on all aspects of rewriting and typed lambda calculi, ranging from theoretical and methodological issues to applications in various contexts. They address a wide variety of topics such as algorithmic aspects, implementation, logic, types, semantics, and programming.