Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Programming Languages and Systems

Hongseok Yang

Sprache

Englisch

Buch Broschur

Libristo-Code: 15823658

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, März 2017

This book constitutes the proceedings of the 26th European Symposium on Programming, ESOP 2017, whic... Vollständige Beschreibung

Libristo-Code: 15823658

263 b

107.29 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

AUTOCAD 2014. VERSION COMPLETE ET VERSION LT Couwenbergh Buch

Broschur

45.09 €

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

Broschur

15.09 €

George Condo Collectifs

Broschur

19.89 €

Yu-Gi-Oh ! - Tome 21 Kazuki Takahashi

Buch

10.79 €

Chat sauvage en chute libre MUDROOROO Buch

Broschur

24.69 €

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

Broschur

30.79 €

POWER Will Helmson

Broschur

10.99 €

Deutsche Jahrbucher fur Politik und Literatur Heinrich Preschers

Broschur

34.90 €

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

Spiel

35.69 €

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

Broschur

12.90 €

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

Broschur

15.09 €

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

Broschur

32.69 €

Un crucero a Oriente Casanueva González

Broschur

14.99 €

ALEXANDER Schulatlas. Ausgabe Baden-Württemberg

Hardcover

42.49 €

Reise durch Graz und die Steiermark Martin Siepmann

Hardcover

19.95 €

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Programming Languages and Systems

Autor Hongseok Yang

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2017

Anzahl der Seiten 992

EAN 9783662544334

ISBN 3662544334

Libristo-Code 15823658

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

Gewicht 1494

Abmessungen 155 x 235 x 56

Kategorie

EDV und Informationstechnologie > Informatik > Mensch-Computer-Interaktion > Interfacedesign, Benutzerfreundlichkeit (Usability)

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert