paperback. Zustand: Very Good.
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2012
ISBN 10: 3642288685 ISBN 13: 9783642288685
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 83,30
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 2012 edition. 617 pages. 9.25x6.10x1.50 inches. In Stock.
Sprache: Englisch
Verlag: Springer-Nature New York Inc, 2024
ISBN 10: 981998310X ISBN 13: 9789819983100
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 91,82
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 343 pages. 9.25x6.10x0.72 inches. In Stock.
Anbieter: Buchpark, Trebbin, Deutschland
EUR 22,35
Anzahl: 1 verfügbar
In den WarenkorbZustand: Hervorragend. Zustand: Hervorragend | Seiten: 324 | Sprache: Englisch | Produktart: Bücher | This book constitutes the refereed proceedings of the 21st Asian Symposium on Programming Languages and Systems, APLAS 2023, held in Taipei, Taiwan, during November 26¿29, 2023.The 15 full papers included in this book are carefully reviewed and selected from 32 submissions. 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.
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: Neu. Programming Languages and Systems | 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26-29, 2023, Proceedings | Chung-Kil Hur | Taschenbuch | x | Englisch | 2023 | Springer | EAN 9789819983100 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Sprache: Englisch
Verlag: Springer Nature Singapore, 2023
ISBN 10: 981998310X ISBN 13: 9789819983100
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: 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.
Anbieter: Buchpark, Trebbin, Deutschland
EUR 38,50
Anzahl: 1 verfügbar
In den WarenkorbZustand: Gut. Zustand: Gut | Seiten: 602 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
Anbieter: moluna, Greven, Deutschland
EUR 221,05
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.