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.
- VerlagSpringer
- Erscheinungsdatum2023
- ISBN 10 981998310X
- ISBN 13 9789819983100
- EinbandTapa blanda
- SpracheEnglisch
- Auflage1
- Anzahl der Seiten344
- HerausgeberHur Chung-Kil
- Kontakt zum HerstellerNicht verfügbar
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
Anbieter: Buchpark, Trebbin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: Hervorragend. Zustand: Hervorragend | Seiten: 324 | Sprache: Englisch | Produktart: Bücher. Artikel-Nr. 42568084/1
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: Books From California, Simi Valley, CA, USA
Verkäuferbewertung 4 von 5 Sternen
paperback. Zustand: Very Good. Artikel-Nr. mon0003777388
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. Artikel-Nr. 1171875384
Anzahl: Mehr als 20 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. Artikel-Nr. 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. Artikel-Nr. 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
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Brand New. 343 pages. 9.25x6.10x0.72 inches. In Stock. Artikel-Nr. x-981998310X
Anzahl: 2 verfügbar