Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
EUR 54,11
Quantité disponible : 1 disponible(s)
Ajouter au panierEtat : New.
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
EUR 52,93
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
EUR 58,29
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
EUR 58,27
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Vendeur : California Books, Miami, FL, Etats-Unis
EUR 85,16
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Langue: anglais
Edité par Springer Berlin Heidelberg, 2014
ISBN 10 : 3642548326 ISBN 13 : 9783642548321
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
EUR 53,49
Quantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.
Vendeur : Revaluation Books, Exeter, Royaume-Uni
EUR 110,99
Quantité disponible : 2 disponible(s)
Ajouter au panierPaperback. Etat : Brand New. 286 pages. 9.25x6.10x9.21 inches. In Stock.
Langue: anglais
Edité par Springer Nature Singapore Okt 2025, 2025
ISBN 10 : 9819535840 ISBN 13 : 9789819535842
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
EUR 83,45
Quantité disponible : 2 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 23nd Asian Symposium on Programming Languages and Systems, APLAS 2025, held in Bengaluru, India, October 27 30, 2025.The 13 full papers presented here were carefully reviewed and selected from 28 submissions.They were focused on the following topical sections: Type Systems, Safety, and Verification; Control, Effects, and Decidability; Quantum Programming and Logic; Program Analysis, Specifications, and Decision Procedures; AI and Compiler Optimisation for Performance.
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
EUR 163,14
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni
EUR 153,69
Quantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Like New. Like New. book.
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
EUR 185,53
Quantité disponible : 1 disponible(s)
Ajouter au panierEtat : As New. Unread book in perfect condition.
Vendeur : preigu, Osnabrück, Allemagne
EUR 50,25
Quantité disponible : 5 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. 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 | Zhong Shao | Taschenbuch | xiv | Englisch | 2014 | Springer | EAN 9783642548321 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand.
Vendeur : preigu, Osnabrück, Allemagne
EUR 72,15
Quantité disponible : 5 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Programming Languages and Systems | 23rd Asian Symposium, APLAS 2025, Bengaluru, India, October 27-30, 2025, Proceedings | Alex Potanin | Taschenbuch | x | Englisch | 2025 | Springer | EAN 9789819535842 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand.