«Comprobar estado del pedido»
LIBRISTO
LIBROAMANTO
obligatorio
Contraseña olvidada
Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis
0
Envío gratuito con Zásilkovna para compras superiores a 59.99 €
Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €
phone Contacto phoneCómo comprar
Envío gratis a partir de 69,99 euros.

Programming Languages and Systems

Idioma InglésInglés
Libro Tapa blanda
Libro Programming Languages and Systems Hongseok Yang
Código Libristo: 15823658
Editores 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... Descripción completa
? points 276 b
112.79 €
Almacenamiento externo Envío en 5-8 días

Hasta 30 días para devoluciones

Clientes que también han comprado

AUTOCAD 2014. VERSION COMPLETE ET VERSION LT Couwenbergh Libro Tapa blanda
common.buy 43.69 €
Tarif Pour La Quadrature Du Sciage Des Bois, Calcule Jusqu'a Une Longueur de Madrier de GUIBERT-P-B / Libro Tapa blanda
common.buy 15.09 €
George Condo Collectifs / Libro Tapa blanda
common.buy 19.29 €
Yu-Gi-Oh ! - Tome 21 Kazuki Takahashi / Libro Libro
common.buy 10.29 €
Chat sauvage en chute libre MUDROOROO Libro Tapa blanda
common.buy 23.89 €
Sancti Aurelii Augustini Episcopi De Civitate Dei: Libri Xxii, Volume 1... Saint Augustine (Bishop of Hippo / Libro Tapa blanda
common.buy 30.79 €
POWER Will Helmson / Libro Tapa blanda
common.buy 11.09 €
Deutsche Jahrbucher fur Politik und Literatur Heinrich Preschers / Libro Tapa blanda
common.buy 34.49 €
Cape Byron Light (1901), Byron Bay, New South Wales (Puzzle) Rainer Grosskopf / Juego/Juguete Juego
common.buy 36.39 €
UEber die Teile, in welche die Lothringer Geste sich zerlegen lasst Emil W Heuser / Libro Tapa blanda
common.buy 12.89 €
Le Livre de la Mutualite, Epargne-Prevoyance, A l'Usage Des Ecoles, Cours d'Adultes Et Des Familles GARCIN-E / Libro Tapa blanda
common.buy 15.09 €
Jean Herbette (1878-1960) Yves Denéch?re / Libro Tapa blanda
common.buy 34.29 €
Un crucero a Oriente Casanueva González / Libro Tapa blanda
common.buy 14.09 €
ALEXANDER Schulatlas. Ausgabe Baden-Württemberg / Libro Tapa dura
common.buy 40.29 €
Reise durch Graz und die Steiermark Martin Siepmann / Libro Tapa dura
common.buy 19.89 €

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.

Actriz & Políglota
EWA KASP para
Visualizar el vídeo
Ewa Kasp
Libristo tiene la oferta más extensa de literatura en idiomas extranjeros. Por eso compran aquí sus libros.

Sobre el libro

Nombre y apellidos Programming Languages and Systems
Autor Hongseok Yang
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2017
Número de páginas 992
EAN 9783662544334
ISBN 3662544334
Código Libristo 15823658
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 1494
Dimensiones 155 x 235 x 56

Categorías

Computación e informática > Ciencias de la computación > Interacción persona-ordenador > Diseño de interfaces de usuario y usabilidad
Computación e informática > Programación informática/desarrollo de software > Lenguajes de programación y extensión/scripting: general
Computación e informática > Programación informática/desarrollo de software > Ingeniería del software
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatario

También puede interesarle

Game Audio Tutorial Richard Stevens / Libro Tapa blanda
common.buy 82.89 €
Modern Compiler Implementation in C Andrew W Appel / Libro Tapa blanda
common.buy 103.79 €
SEVERAL SERMONS UPON THE FIFTH OF ST. MA ANTHONY HORNECK / Libro Tapa dura
common.buy 40.69 €
Melancholy Play Sarah Ruhl / Libro Tapa blanda
common.buy 18.19 €
My 100 Favorite College Words Ez Blackman / Libro Tapa blanda
common.buy 10.69 €
Peck's Uncle Ike and The Red Headed Boy George W Peck / Libro Tapa blanda
common.buy 7.99 €
Officer And Man Louis Becke / Libro Tapa blanda
common.buy 8.89 €
Rainbow Crystals 500 Piece Puzzle GALISON / Juego/Juguete Juego
common.buy 14.09 €
Molecular Pathology of Hematolymphoid Diseases Cherie H. Dunphy / Libro Tapa dura
common.buy 220.99 €
Fireside Fravels James Russell Lowell / Libro Tapa blanda
common.buy 25.69 €
Dogma of Immaculate Conception Edward Dennis O'Connor C. S. C. / Libro Tapa blanda
common.buy 53.59 €
FATHER TABB: HIS LIFE AND WORK ; A MEMOR JENNIE MASTERS TABB / Libro Tapa dura
common.buy 33.69 €
Symbols and Meanings in School Mathematics PIMM / Libro Tapa dura
common.buy 252.29 €
Biography of Jesus Christ Jeremiah O Opusunju / Libro Tapa blanda
common.buy 29.59 €
Aphrodisiac Concupiscence Deluxe Yolanda Williams / Libro Tapa blanda
common.buy 16.39 €
British Merchant Seamen in San Francisco, 1892-1898 James Fell / Libro Tapa blanda
common.buy 24.79 €
The Spirit Bares Its Teeth WHITE ANDREW JOSEPH / Libro Tapa dura
common.buy 17.19 €

Inicio de sesión

Inicie sesión en su cuenta. ¿No tiene una cuenta Libristo? ¡Cree una ahora!

 
obligatorio
obligatorio
Contraseña olvidada

¿No tiene cuenta? Descubra las ventajas de tener una cuenta Libristo.

Si tiene una cuenta Libristo, lo tendrá todo bajo control.

Crear una cuenta Libristo