Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 21st Asian SymposiumonProgramming Languages and Systems, APLAS 2023, held in Taipei, Taiwan,duringNovember 26-29, 2023.The 15 full papers included in this book are carefully reviewed andselected from32submissions. They were organized in topical sections as follows: semantics, logics, and foundational theory; design of languages, type systems, and foundational calculi; domain-specific languages; compilers, interpreters, and abstract machines; program derivation, synthesis, and transformation; program analysis, verification, and model-checking; logic, constraint, probabilistic, and quantum programming; software security; concurrency and parallelism; tools and environments for programming and implementation; and applications of SAT/SMT to programming and implementation. 344 pp. Englisch. Seller Inventory # 9789819983100

Contact seller

Buy New

US$ 75.00

Convert currency

Shipping: US$ 26.09

From Germany to U.S.A.

Destination, rates & speeds

Quantity: 2 available

Add to basket

Stock Image

Programming Languages and Systems

Published by Springer, 2023

ISBN 10: 981998310X ISBN 13: 9789819983100

New Softcover

Seller: Books Puddle, New York, NY, U.S.A.

Seller rating 4 out of 5 stars

Condition: New. pp. 344. Seller Inventory # 26398553351

Contact seller

Buy New

US$ 101.14

Convert currency

Shipping: US$ 3.99

Within U.S.A.

Destination, rates & speeds

Quantity: 4 available

Add to basket

Stock Image

Programming Languages and Systems

Published by Springer, 2023

ISBN 10: 981998310X ISBN 13: 9789819983100

New Softcover

Print on Demand

Seller: Majestic Books, Hounslow, United Kingdom

Seller rating 5 out of 5 stars

Condition: New. Print on Demand pp. 344. Seller Inventory # 397856472

Contact seller

Buy New

US$ 107.13

Convert currency

Shipping: US$ 8.51

From United Kingdom to U.S.A.

Destination, rates & speeds

Quantity: 4 available

Add to basket

Seller Image

Programming Languages and Systems : 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26�29, 2023, Proceedings

Chung-Kil Hur

Published by Springer Nature Singapore, 2023

ISBN 10: 981998310X ISBN 13: 9789819983100

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 refereed proceedings of the 21st Asian SymposiumonProgramming Languages and Systems, APLAS 2023, held in Taipei, Taiwan,duringNovember 26-29, 2023.The 15 full papers included in this book are carefully reviewed andselected from32submissions. They were organized in topical sections as follows: semantics, logics, and foundational theory; design of languages, type systems, and foundational calculi; domain-specific languages; compilers, interpreters, and abstract machines; program derivation, synthesis, and transformation; program analysis, verification, and model-checking; logic, constraint, probabilistic, and quantum programming; software security; concurrency and parallelism; tools and environments for programming and implementation; and applications of SAT/SMT to programming and implementation. Seller Inventory # 9789819983100

Contact seller