Verwandte Artikel zu Programming Languages and Systems: 21st Asian Symposium,...
Programming Languages and Systems: 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26–29, 2023, Proceedings: 14405 (Lecture Notes in Computer Science) - Softcover
Inhaltsangabe
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Neu kaufen
Diesen Artikel anzeigen
EUR 57,15
Gratis für den Versand innerhalb von/der Deutschland
Versandziele, Kosten & DauerSuchergebnisse für Programming Languages and Systems: 21st Asian Symposium,...
Beispielbild für diese ISBN
Programming Languages and Systems: 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26â"29, 2023, Proceedings (Lecture Notes in Computer Science)
Anbieter: Books From California, Simi Valley, CA, USA
Verkäuferbewertung 5 von 5 Sternen
paperback. Zustand: Very Good. Bestandsnummer des Verkäufers mon0003777388
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Programming Languages and Systems: 21st Asian Symposium, Aplas 2023, Taipei, Taiwan, November 26-29, 2023, Proceedings
Anbieter: Buchpark, Trebbin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher. Bestandsnummer des Verkäufers 42568084/1
Anzahl: 1 verfügbar
Foto des Verkäufers
Programming Languages and Systems
Verlag:
Springer, Berlin|Springer Nature Singapore|Springer, 2023
ISBN 10: 981998310X
ISBN 13: 9789819983100
Neu
Softcover
Anbieter: moluna, Greven, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 1171875384
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Programming Languages and Systems
Verlag:
Springer Nature Singapore Nov 2023, 2023
ISBN 10: 981998310X
ISBN 13: 9789819983100
Neu
Taschenbuch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Neuware -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.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 344 pp. Englisch. Bestandsnummer des Verkäufers 9789819983100
Anzahl: 2 verfügbar
Foto des Verkäufers
Programming Languages and Systems
Verlag:
Springer Nature Singapore Dez 2023, 2023
ISBN 10: 981998310X
ISBN 13: 9789819983100
Neu
Taschenbuch
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: 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. Bestandsnummer des Verkäufers 9789819983100
Anzahl: 2 verfügbar
Foto des Verkäufers
Programming Languages and Systems : 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26¿29, 2023, Proceedings
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
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. Bestandsnummer des Verkäufers 9789819983100
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Programming Languages and Systems: 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26-29, 2023, Proceedings (Lecture Notes in Computer Science)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Bestandsnummer des Verkäufers ria9789819983100_new
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Programming Languages and Systems: 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26-29, 2023, Proceedings (Lecture Notes in Computer Science)
Anbieter: California Books, Miami, FL, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers I-9789819983100
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Programming Languages and Systems
Anbieter: Books Puddle, New York, NY, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. pp. 344. Bestandsnummer des Verkäufers 26398553351
Anzahl: 4 verfügbar
Beispielbild für diese ISBN
Programming Languages and Systems
Print-on-DemandAnbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. PRINT ON DEMAND pp. 344. Bestandsnummer des Verkäufers 18398553357
Anzahl: 4 verfügbar