Estimados clientes, devido a feriado nacional, o Apoio ao Cliente não está disponível hoje. Atenderemos os seus requisitos no próximo dia útil. Obrigado pela sua compreensão.

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

Estimados clientes, devido a feriado nacional, o Apoio ao Cliente não está disponível hoje. Atenderemos os seus requisitos no próximo dia útil. Obrigado pela sua compreensão.

Programming Languages and Systems

Hongseok Yang

Língua

Inglês

Livro Capa mole

Código Libristo: 15823658

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

This book constitutes the proceedings of the 26th European Symposium on Programming, ESOP 2017, whic... Descrição completa

Código Libristo: 15823658

222 b

91.86 €

Armazenamento externo Envio em 5-8 dias

Política de devolução de 30 dias

Os clientes também compraram

AUTOCAD 2014. VERSION COMPLETE ET VERSION LT Couwenbergh Livro

Capa mole

36.11 €

George Condo Collectifs

Capa mole

16.08 €

Chat sauvage en chute libre MUDROOROO Livro

Capa mole

19.92 €

Sancti Aurelii Augustini Episcopi De Civitate Dei: Libri Xxii, Volume 1... Saint Augustine (Bishop of Hippo

Capa mole

25.39 €

POWER Will Helmson

Capa mole

8.79 €

Deutsche Jahrbucher fur Politik und Literatur Heinrich Preschers

Capa mole

27.61 €

Cape Byron Light (1901), Byron Bay, New South Wales (Puzzle) Rainer Grosskopf

Jogo

28.93 €

UEber die Teile, in welche die Lothringer Geste sich zerlegen lasst Emil W Heuser

Capa mole

10.31 €

Tarif Pour La Quadrature Du Sciage Des Bois, Calcule Jusqu'a Une Longueur de Madrier de GUIBERT-P-B

Capa mole

12.43 €

Le Livre de la Mutualite, Epargne-Prevoyance, A l'Usage Des Ecoles, Cours d'Adultes Et Des Familles GARCIN-E

Capa mole

12.43 €

Jean Herbette (1878-1960) Yves Denéch?re

Capa mole

28.12 €

Un crucero a Oriente Casanueva González

Capa mole

11.93 €

ALEXANDER Schulatlas. Ausgabe Baden-Württemberg

Livro de capa dura

35.60 €

Reise durch Graz und die Steiermark Martin Siepmann

Livro de capa dura

15.87 €

This book constitutes the proceedings of the 26th European Symposium on Programming, ESOP 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017. The 36 papers presented in this volume were carefully reviewed and selected from 112 submissions. They cover traditional as well as emerging topics in programming languages. In detail they deal with semantic foundation and type system for probabilistic programming; techniqu3es for verifying concurrent or higher-order programs; programming languages for arrays or web data; program analysis and verification of non-standard program properties; foundation and application of interactive theorem proving; graph rewriting; separation logic; session type; type theory; and implicit computational complexity.