Książka Programming Languages and Systems Zhong Shao

Programming Languages and Systems

23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Autor: Zhong Shao
Język: Angielski
Oprawa: Miękka
Dostępność: Dostępna u dostawcy
Wysyłamy za 5-8 dni
212.13
This book constitutes the proceedings of the 23rd European Symposium on Programming, ESOP 2014, whic...

Informacje o książce

Autor
Język
Angielski
Oprawa
Książka - Miękka
Data wydania
2014
strony
576
EAN
9783642548321
ISBN
3642548326
Enbook ID
02530698
Waga
8832
Wymiary
155 x 235 x 31

Pełny opis

This book constitutes the proceedings of the 23rd European Symposium on Programming, ESOP 2014, which took place in Grenoble, France, in April 2014, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014. The 27 papers presented in this volume were carefully reviewed and selected from 109 submissions. In addition, the book contains two invited talks. The contributions are organized in topical sections named: type systems; verified compilation; program verification; semantics; concurrency; linear types; network and process calculi; and program analysis.

Możesz być zainteresowany

49.67

Planet Earth II

Stephen Moss
151.56

Advances in X-Ray Analysis

onference On Applications Of X-Ray Analysis
521.97

Principles of Education

Elizabeth Missing Sewell
160.99
241.78

Bokor

carol collier
60.75
63.96

All Good Things

Stephen Ellcock
108.78

Medicinal Chemistry

Ladislav VaSko
471.12
2.91
64.84
64.64

Klienci, którzy kupili tę książkę, kupili również

186.85

Herr vom Siebengestirn

Hardy von Arendes
32.27
113.16
84.18

Knížecí život

Schwarzenberg Karel Jan
44.13

Poviedky o ženách

Brezinská T.
17.00