Kniha 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
Jazyk: Angličtina
Vazba: Brožovaná
Dostupnost: Skladem u dodavatele
Odesíláme za 5-8 dnů
1 147
This book constitutes the proceedings of the 23rd European Symposium on Programming, ESOP 2014, whic...

Informace o knize

Autor
Jazyk
Angličtina
Vazba
Kniha - Brožovaná
Vydáno
2014
Stránek
576
EAN
9783642548321
ISBN
3642548326
Enbook ID
02530698
Hmotnost
8832
Rozměry
155 x 235 x 31

Kompletní popis

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.

Mohlo by vás zajímat

267

Planet Earth II

Stephen Moss
857

Advances in X-Ray Analysis

onference On Applications Of X-Ray Analysis
2 984

Principles of Education

Elizabeth Missing Sewell
876
1 313

Bokor

carol collier
329
344

All Good Things

Stephen Ellcock
580

Medicinal Chemistry

Ladislav VaSko
2 535
347

Zákaznicí kteří koupili tuto knihu koupili také

1 009

Herr vom Siebengestirn

Hardy von Arendes
176
647
481

Knížecí život

Schwarzenberg Karel Jan
276

Poviedky o ženách

Brezinská T.
95