wyszukanych pozycji: 4
Programming Languages and Systems: 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Pra
ISBN: 9783642548321 / Angielski / Miękka / 2014 / 576 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 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.
This book constitutes the proceedings of the 23rd European Symposium on Programming, ESOP 2014, which took place in Grenoble, France, in April 2014, a...
|
|
cena:
192,30 zł |
普羅克魯斯床(國際中文版第二版)
ISBN: 9781647849122 / Chiński / Miękka / 2017 / 226 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
|
cena:
95,87 zł |
Programming Languages and Systems: 5th Asian Symposium, Aplas 2007, Singapore, November 28-December 1, 2007, Proceedings
ISBN: 9783540766360 / Angielski / Miękka / 2007 / 452 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the refereed proceedings of the 5th Asian Symposium on Programming Languages and Systems, APLAS 2007, held in Singapore, in November/December 2007. The 25 revised full papers presented together with three invited talks were carefully reviewed and selected from 84 submissions. The symposium addresses all issues in programming languages and systems - ranging from foundational to practical issues. The papers focus on a broad range of topics. This book constitutes the refereed proceedings of the 5th Asian Symposium on Programming Languages and Systems, APLAS 2007, held in Singapore, in N... |
|
cena:
192,30 zł |
In The Procrustean Bed
ISBN: 9781647849146 / Angielski / Miękka / 2014 / 232 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
|
cena:
108,94 zł |