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.
Resultados de la búsqueda para Programming Languages and Systems: 21st Asian Symposium,...
Imagen de archivo
Programming Languages and Systems (eng)
Impresión bajo demandaLibrería: Brook Bookstore On Demand, Napoli, NA, Italia
Calificación del vendedor: 5 de 5 estrellas
Condición: new. Questo è un articolo print on demand. Nº de ref. del artículo: S4REOFBLIO
Comprar nuevo
EUR 54,23
Envío por EUR 5,50
Se envía de Italia a Estados Unidos de America
Se envía de Italia a Estados Unidos de America
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
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 46819567
Comprar usado
EUR 75,75
Envío por EUR 2,32
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 15 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
Comprar nuevo
EUR 64,19
Envío por EUR 23,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 2 disponibles
Imagen de archivo
Programming Languages and Systems : 21st Asian Symposium, Aplas 2023, Taipei, Taiwan, November 26-29, 2023, Proceedings
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 46819567-n
Comprar nuevo
EUR 89,40
Envío por EUR 2,32
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 15 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, 14405)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In English. Nº de ref. del artículo: ria9789819983100_new
Comprar nuevo
EUR 80,46
Envío por EUR 13,13
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
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
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 46819567-n
Comprar nuevo
EUR 79,51
Envío por EUR 17,44
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
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
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 46819567
Comprar usado
EUR 80,29
Envío por EUR 17,44
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
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
Comprar nuevo
EUR 57,15
Envío por EUR 48,99
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
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
Publicado por
Springer-Nature New York Inc, 2024
ISBN 10: 981998310X
ISBN 13: 9789819983100
Nuevo
Paperback
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Brand New. 343 pages. 9.25x6.10x0.72 inches. In Stock. Nº de ref. del artículo: x-981998310X
Comprar nuevo
EUR 94,71
Envío por EUR 11,63
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 2 disponibles
Imagen del vendedor
Programming Languages and Systems : 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26-29, 2023, Proceedings
Impresión bajo demandaLibrería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. nach der Bestellung gedruckt 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
Comprar nuevo
EUR 73,22
Envío por EUR 35,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles