Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Punto Poste 5.49 € Punto Poste 5.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 € Corriere Bartolini 4.49 € Punto Bartolini 3.49 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Programming Languages and Systems

Hongseok Yang

Lingua

Inglese

Libro In brossura

Codice Libristo: 15823658

Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, marzo 2017

This book constitutes the proceedings of the 26th European Symposium on Programming, ESOP 2017, whic... Descrizione completa

Codice Libristo: 15823658

262 b

107.29 €

Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

AUTOCAD 2014. VERSION COMPLETE ET VERSION LT Couwenbergh Libro

In brossura

40.29 €

20 ans en 1939, marin à Mers-el-Kébir Siou

In brossura

11.79 €

Yu-Gi-Oh ! - Tome 21 Kazuki Takahashi

Libro

8.89 €

Manual de tecnologia farmaceutica M.Âª Carmen Lozano Estevan

Adobe ePub DRM

31.10 €

George Condo Collectifs

In brossura

17.29 €

Chat sauvage en chute libre MUDROOROO Libro

In brossura

21.69 €

Ultrasonografia della cistifellea delle specie domestiche Hernán Camilo Bohórquez Jaimes

In brossura

40.99 €

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

In brossura

29.39 €

El Cáncer del Militarismo en Latinoamérica S.T. Mclaughlin

In brossura

17.29 €

Paroles de femmes Adeline Emile

In brossura

14.49 €

A Teoria da Impossibilidade Bíblica ANDRÉ KOLOGESKI

In brossura

20.59 €

POWER Will Helmson

In brossura

10.49 €

Deutsche Jahrbucher fur Politik und Literatur Heinrich Preschers

In brossura

32.69 €

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

Gioco

33.69 €

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

In brossura

12.29 €

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

In brossura

14.39 €

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

In brossura

14.39 €

Pane senza impasto. Un metodo semplice e rivoluzionario Rick Flaste

Rigido

25.99 €

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

In brossura

32.69 €

Un crucero a Oriente Casanueva González

In brossura

13.59 €

Versos para seguir creciendo María del Carmen Plaza Arnaiz

In brossura

18.99 €

Die Parlamentarismuskritik bei Carl Schmitt und Jürgen Habermas. Hartmuth Becker

In brossura

62.99 €

ALEXANDER Schulatlas. Ausgabe Baden-Württemberg

Rigido

40.49 €

Reise durch Graz und die Steiermark Martin Siepmann

Rigido

18.79 €

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.

Attrice & Poliglotta

EWA KASP per

Riproduci video

Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo Programming Languages and Systems

Autore Hongseok Yang

Lingua

Inglese

Rilegatura Libro - In brossura

Data di pubblicazione 2017

Numero di pagine 992

EAN 9783662544334

ISBN 3662544334

Codice Libristo 15823658

Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Peso 1494

Dimensioni 155 x 235 x 56

Categorie

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Interazione uomo-macchina > Progettazione e usabilità delle interfacce utente

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Linguaggi di programmazione e scripting: generale

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Ingegneria del software

Regala questo libro oggi stesso

È facile

1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatario

Potrebbe interessarti anche

Game Audio Tutorial Richard Stevens

In brossura

81.29 €

Modern Compiler Implementation in C Andrew W Appel

In brossura

98.79 €

An Enquiry Into the Misconduct and Frauds Committed by Several of the Factors, Super-Cargoes, and Others, Employed by the Late and Present Directors o Considerable Stock-Holder

In brossura

13.10 €