Programming Languages and Systems: 23rd Asian Symposium, APLAS 2025, Bengaluru, India, October 27-30, 2025, Proceedings (Lecture Notes in Computer Science, 16201)
Potanin, Alex
ISBN 10: 9819535840 ISBN 13: 9789819535842
Published by Springer, 2025
New
Soft cover
From
Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
AbeBooks Seller since 27 February 2001
This specific item is no longer available.
About this Item
Description:
2025. paperback. . . . . . Seller Inventory # V9789819535842
Synopsis:
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.
"About this title" may belong to another edition of this title.
Bibliographic Details
Title: Programming Languages and Systems: 23rd ...
Publisher: Springer
Publication Date: 2025
Binding: Soft cover
Condition: New
Top Search Results from the AbeBooks Marketplace
Stock Image
Programming Languages and Systems (eng)
Print on DemandSeller: Brook Bookstore On Demand, Napoli, NA, Italy
Seller rating 5 out of 5 stars
Condition: new. Questo è un articolo print on demand. Seller Inventory # O5F8MDO75Y
Buy New
£ 58.47
£ 4.77 shipping
Ships from Italy to U.S.A.
Ships from Italy to U.S.A.
Quantity: Over 20 available
Seller Image
Programming Languages and Systems | 23rd Asian Symposium, APLAS 2025, Bengaluru, India, October 27-30, 2025, Proceedings
Print on DemandSeller: preigu, Osnabrück, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: 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. Seller Inventory # 134182742
Seller Image
Programming Languages and Systems
Published by
Springer Nature Singapore Okt 2025, 2025
ISBN 10: 9819535840
ISBN 13: 9789819535842
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book constitutes the proceedings of the 23nd Asian Symposium on Programming Languages and Systems, APLAS 2025, held in Bengaluru, India, October 2730, 2025.Libri GmbH, Europaallee 1, 36244 Bad Hersfeld 276 pp. Englisch. Seller Inventory # 9789819535842
Seller Image
Programming Languages and Systems
Published by
Springer Nature Singapore Okt 2025, 2025
ISBN 10: 9819535840
ISBN 13: 9789819535842
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 276 pp. Englisch. Seller Inventory # 9789819535842
Seller Image
Programming Languages and Systems : 23rd Asian Symposium, Aplas 2025, Bengaluru, India, October 27-30, 2025, Proceedings
Published by
Springer Nature Singapore Okt 2025, 2025
ISBN 10: 9819535840
ISBN 13: 9789819535842
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: 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. Seller Inventory # 9789819535842
Stock Image
Programming Languages and Systems: 23rd Asian Symposium, APLAS 2025, Bengaluru, India, October 27-30, 2025, Proceedings (Lecture Notes in Computer Science, 16201)
Seller: California Books, Miami, FL, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # I-9789819535842
Stock Image
Programming Languages and Systems (Paperback)
Published by
Springer Verlag, Singapore, Singapore, 2025
ISBN 10: 9819535840
ISBN 13: 9789819535842
New
Paperback
Seller: CitiRetail, Stevenage, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: new. Paperback. This book constitutes the proceedings of the 23nd Asian Symposium on Programming Languages and Systems, APLAS 2025, held in Bengaluru, India, October 2730, 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. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. Seller Inventory # 9789819535842
Buy New
£ 76.99
£ 37 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Programming Languages and Systems (Paperback)
Published by
Springer Verlag, Singapore, Singapore, 2025
ISBN 10: 9819535840
ISBN 13: 9789819535842
New
Paperback
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: new. Paperback. This book constitutes the proceedings of the 23nd Asian Symposium on Programming Languages and Systems, APLAS 2025, held in Bengaluru, India, October 2730, 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. This item is printed on demand. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9789819535842
Stock Image
Programming Languages and Systems: 23rd Asian Symposium, APLAS 2025, Bengaluru, India, October 2730, 2025, Proceedings (Lecture Notes in Computer Science, 16201)
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 286 pages. 9.25x6.10x9.21 inches. In Stock. Seller Inventory # x-9819535840
Buy New
£ 94.34
£ 10 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 2 available
Stock Image
Programming Languages and Systems (Paperback)
Published by
Springer Verlag, Singapore, Singapore, 2025
ISBN 10: 9819535840
ISBN 13: 9789819535842
New
Paperback
Seller: AussieBookSeller, Truganina, VIC, Australia
Seller rating 5 out of 5 stars
Paperback. Condition: new. Paperback. This book constitutes the proceedings of the 23nd Asian Symposium on Programming Languages and Systems, APLAS 2025, held in Bengaluru, India, October 2730, 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. This item is printed on demand. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability. Seller Inventory # 9789819535842
Buy New
£ 100.31
£ 27.65 shipping
Ships from Australia to U.S.A.
Ships from Australia to U.S.A.
Quantity: 1 available