Artículos relacionados a 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) - Tapa blanda
Sinopsis
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.
"Sinopsis" puede pertenecer a otra edición de este libro.
EUR 7,20
EUR 12,33 gastos de envío desde Estados Unidos de America a España
Destinos, gastos y plazos de envíoComprar nuevo
Ver este artículo
EUR 64,19
EUR 11,00 gastos de envío desde Alemania a España
Destinos, gastos y plazos de envíoResultados de la búsqueda para Programming Languages and Systems: 21st Asian Symposium,...
Imagen de archivo
Programming Languages and Systems: 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26â"29, 2023, Proceedings (Lecture Notes in Computer Science)
Librería: Books From California, Simi Valley, CA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
paperback. Condición: Very Good. Nº de ref. del artículo: mon0003777388
Cantidad disponible: 1 disponibles
Imagen de archivo
Programming Languages and Systems: 21st Asian Symposium, Aplas 2023, Taipei, Taiwan, November 26-29, 2023, Proceedings
Publicado por
SPRINGER NATURE, 2023
ISBN 10: 981998310X
ISBN 13: 9789819983100
Antiguo o usado
Tapa blanda
Librería: Buchpark, Trebbin, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher. Nº de ref. del artículo: 42568084/1
Cantidad disponible: 1 disponibles
Imagen del vendedor
Programming Languages and Systems
Publicado por
Springer Nature Singapore Dez 2023, 2023
ISBN 10: 981998310X
ISBN 13: 9789819983100
Nuevo
Taschenbuch
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: 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. Nº de ref. del artículo: 9789819983100
Cantidad disponible: 2 disponibles
Imagen de archivo
Programming Languages and Systems: 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26-29, 2023, Proceedings (Lecture Notes in Computer Science)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9789819983100_new
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Programming Languages and Systems
Publicado por
Springer, Berlin|Springer Nature Singapore|Springer, 2023
ISBN 10: 981998310X
ISBN 13: 9789819983100
Nuevo
Tapa blanda
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 1171875384
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Programming Languages and Systems: 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26-29, 2023, Proceedings (Lecture Notes in Computer Science)
Librería: Best Price, Torrance, CA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. SUPER FAST SHIPPING. Nº de ref. del artículo: 9789819983100
Cantidad disponible: 1 disponibles
Imagen del vendedor
Programming Languages and Systems : 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26¿29, 2023, Proceedings
Publicado por
Springer Nature Singapore, 2023
ISBN 10: 981998310X
ISBN 13: 9789819983100
Nuevo
Taschenbuch
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: 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. Nº de ref. del artículo: 9789819983100
Cantidad disponible: 1 disponibles
Imagen de archivo
Programming Languages and Systems: 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26-29, 2023, Proceedings (Lecture Notes in Computer Science)
Librería: California Books, Miami, FL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: I-9789819983100
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Programming Languages and Systems
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. pp. 344. Nº de ref. del artículo: 26398553351
Cantidad disponible: 4 disponibles
Imagen de archivo
Programming Languages and Systems
Impresión bajo demandaLibrería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Print on Demand pp. 344. Nº de ref. del artículo: 397856472
Cantidad disponible: 4 disponibles