Falls Sie nur an einem bestimmten Exempar interessiert sind, können Sie aus der folgenden Liste jenes wählen, an dem Sie interessiert sind:
Nur diese Ausgabe anzeigen…
Nur diese Ausgabe anzeigen…
Programming Languages and Systems - 14 Angebote vergleichen
Bester Preis: Fr. 48.52 (€ 49.72)¹ (vom 28.03.2019)Programming Languages and Systems (2017)
ISBN: 9783319712369 bzw. 3319712365, in Deutsch, Springer Shop, Taschenbuch, neu.
This book constitutes the proceedings of the 15th Asian Symposium on Programming Languages and Systems, APLAS 2017, held in Suzhou, China, in November 2017. The 24 papers presented in this volume were carefully reviewed and selected from 56 submissions. They were organized in topical sections named: security; heap and equivalence reasoning; concurrency and verification; domain-specific languages; semantics; and numerical reasoning. The volume also contains two invited talks in full-paper length. , Soft cover.
Programming Languages and Systems - 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings (2017)
ISBN: 9783319712369 bzw. 3319712365, vermutlich in Englisch, Springer International Publishing, Taschenbuch, neu.
Programming Languages and Systems: This book constitutes the proceedings of the 15th Asian Symposium on Programming Languages and Systems, APLAS 2017, held in Suzhou, China, in November 2017.The 24 papers presented in this volume were carefully reviewed and selected from 56 submissions. They were organized in topical sections named: security heap and equivalence reasoning concurrency and verification domain-specific languages semantics and numerical reasoning. The volume also contains two invited talks in full-paper length. Englisch, Taschenbuch.
Programming Languages and Systems - 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings (2017)
ISBN: 9783319712376 bzw. 3319712373, in Deutsch, Springer International Publishing, neu, E-Book, elektronischer Download.
Programming Languages and Systems: This book constitutes the proceedings of the 15th Asian Symposium on Programming Languages and Systems, APLAS 2017, held in Suzhou, China, in November 2017. The 24 papers presented in this volume were carefully reviewed and selected from 56 submissions. They were organized in topical sections named: security heap and equivalence reasoning concurrency and verification domain-specific languages semantics and numerical reasoning. The volume also contains two invited talks in full-paper length. Englisch, Ebook.
Programming Languages and Systems (2017)
ISBN: 9783319712376 bzw. 3319712373, in Deutsch, Springer Shop, neu, E-Book, elektronischer Download.
This book constitutes the proceedings of the 15th Asian Symposium on Programming Languages and Systems, APLAS 2017, held in Suzhou, China, in November 2017. The 24 papers presented in this volume were carefully reviewed and selected from 56 submissions. They were organized in topical sections named: security; heap and equivalence reasoning; concurrency and verification; domain-specific languages; semantics; and numerical reasoning. The volume also contains two invited talks in full-paper length. , eBook.
Programming Languages And Systems: 15th Asian Symposium, Aplas 2017, Suzhou, China, November 27-29, 2017, Proceedings (2017)
ISBN: 9783319712369 bzw. 3319712365, vermutlich in Englisch, neu.
This book constitutes the proceedings of the 15th Asian Symposium on Programming Languages and Systems, APLAS 2017, held in Suzhou, China, in November 2017.The 24 papers presented in this volume were carefully reviewed and selected from 56 submissions. They were organized in topical sections named: security; heap and equivalence reasoning; concurrency and verification; domain-specific languages; semantics; and numerical reasoning. The volume also contains two invited talks in full-paper length.
| Programming Languages and Systems | Springer | 1st ed. 2017 | 2017
ISBN: 9783319712369 bzw. 3319712365, in Deutsch, Springer, neu.
Programming Languages and Systems (2017)
ISBN: 9783319712369 bzw. 3319712365, in Deutsch, neu.
This book constitutes the proceedings of the 15th Asian Symposium on Programming Languages and Systems, APLAS 2017, held in Suzhou, China, in November 2017.The 24 papers presented in this volume were carefully reviewed and selected from 56 submissions. They were organized in topical sections named: security, heap and equivalence reasoning, concurrency and verification, domain-specific languages, semantics, and numerical reasoning. The volume also contains two invited talks in full-paper length.
Programming Languages and Systems: 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings (Programming and Software Engineering) (2017)
ISBN: 9783319712376 bzw. 3319712373, in Englisch, 555 Seiten, Springer, neu, Erstausgabe, E-Book, elektronischer Download.
This book constitutes the proceedings of the 15th Asian Symposium on Programming Languages and Systems, APLAS 2017, held in Suzhou, China, in November 2017. The 24 papers presented in this volume were carefully reviewed and selected from 56 submissions. They were organized in topical sections named: security; heap and equivalence reasoning; concurrency and verification; domain-specific languages; semantics; and numerical reasoning. The volume also contains two invited talks in full-paper length. Kindle Edition, Ausgabe: 1, Format: Kindle eBook, Label: Springer, Springer, Produktgruppe: eBooks, Publiziert: 2017-11-17, Freigegeben: 2017-11-17, Studio: Springer.
Programming Languages and Systems (2017)
ISBN: 9783319712376 bzw. 3319712373, in Englisch, Springer, Springer, Springer, neu, E-Book, elektronischer Download.
This book constitutes the proceedings of the 15th Asian Symposium on Programming Languages and Systems, APLAS 2017, held in Suzhou, China, in November 2017.The 24 papers presented in this volume were carefully reviewed and selected from 56.
Programming Languages and Systems (2017)
ISBN: 3319712365 bzw. 9783319712369, in Deutsch, neu.