Ingyenes szállítás a Packetával, 19 990 Ft feletti vásárlás esetén

Posta 1 795 Ft DPD 1 995 Ft PostaPont / Csomagautomata 1 690 Ft Postán 1 690 Ft GLS futár 1 590 Ft Packeta 990 Ft GLS pont 1 390 Ft

Kapcsolat

Hogyan vásároljunk

Segítség

Saját fiók

▸ Üres :-(

Programming Languages and Systems

Hongseok Yang

Nyelv

Angol

Könyv Puha kötésű

Libristo kód: 15823658

Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, március 2017

This book constitutes the proceedings of the 26th European Symposium on Programming, ESOP 2017, whic... Teljes leírás

Libristo kód: 15823658

304 b

48 890 Ft

Beszállítói készleten alacsony példányszámban Küldés 10-15 napon belül

30 nap a termék visszaküldésére

Ezt is ajánljuk

Modern Compiler Implementation in C Andrew W Appel

/ Puha kötésű

40 265 Ft

Game Audio Tutorial Richard Stevens

/ Puha kötésű

30 774 Ft

AUTOCAD 2014. VERSION COMPLETE ET VERSION LT Couwenbergh Puha kötésű

17 843 Ft

George Condo Collectifs

/ Puha kötésű

8 059 Ft

Poesia di Álvaro de Campos Fernando Pessoa

/ Puha kötésű

9 120 Ft

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

/ Puha kötésű

6 272 Ft

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

/ Puha kötésű

7 112 Ft

Late One Night Fatma Kallon

/ Puha kötésű

4 877 Ft

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

/ Puha kötésű

15 490 Ft

FATHER TABB: HIS LIFE AND WORK ; A MEMOR JENNIE MASTERS TABB

/ Kemény kötésű

13 997 Ft

Dogma of Immaculate Conception Edward Dennis O'Connor C. S. C.

/ Puha kötésű

24 986 Ft

Deutsche Jahrbucher fur Politik und Literatur Heinrich Preschers

/ Puha kötésű

19 883 Ft

Un crucero a Oriente

/ Puha kötésű

5 695 Ft

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

/ Játék

12 338 Ft

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

/ Puha kötésű

6 272 Ft

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.

Információ a könyvről

Teljes megnevezés Programming Languages and Systems

Szerző Hongseok Yang

Nyelv

Angol

Kötés Könyv - Puha kötésű

Kiadás éve 2017

Oldalszám 992

EAN 9783662544334

ISBN 3662544334

Libristo kód 15823658

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

Súly 1494

Méretek 155 x 235 x 56

Kategória

Számítástechnika és információtechnológia > Számítógéptudomány > Ember-számítógép interakció > Használói interfész dizájn és használhatóság

Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Programozási és szoftveres nyelvek: általános jellegű

Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Szoftvermérnöki tudomány

Ajándékozza oda ezt a könyvet még ma

Nagyon egyszerű

1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címére

Kézbesítés

Vásárlási tanácsadó