Artículos relacionados a Programming Languages and Systems: 33rd European Symposium...
Programming Languages and Systems: 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and ... II: 14577 (Lecture Notes in Computer Science) - Tapa blanda
Sinopsis
The two-volume open access book set LNCS 14576 + 14577 constitutes the proceedings of the 33rd European Symposium on Programming, ESOP 2024, which was held during April 6-11, 2024, in Luxemburg, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024.
The 25 full papers and 1 fresh perspective paper presented in these proceedings were carefully reviewed and selected from 72 submissions. The papers were organized in topical sections as follows:
Part I: Effects and modal types; bidirectional typing and session types; dependent types;
Part II: Quantum programming and domain-specific languages; verification; program analysis; abstract interpretation.
"Sinopsis" puede pertenecer a otra edición de este libro.
De la contraportada
The two-volume open access book set LNCS 14576 + 14577 constitutes the proceedings of the 33rd European Symposium on Programming, ESOP 2024, which was held during April 6-11, 2024, in Luxemburg, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024.
The 25 full papers and 1 fresh perspective paper presented in these proceedings were carefully reviewed and selected from 72 submissions. The papers were organized in topical sections as follows: Part I: Effects and modal types; bidirectional typing and session types; dependent types; Part II: Quantum programming and domain-specific languages; verification; program analysis; abstract interpretation.
"Sobre este título" puede pertenecer a otra edición de este libro.
Comprar nuevo
Ver este artículo
EUR 47,64
EUR 5,14 gastos de envío desde Reino Unido a España
Destinos, gastos y plazos de envíoResultados de la búsqueda para Programming Languages and Systems: 33rd European Symposium...
Imagen de archivo
Programming Languages and Systems: 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and . Notes in Computer Science, 14577, Band 14577)
Librería: Buchpark, Trebbin, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: Hervorragend. Zustand: Hervorragend | Seiten: 468 | Sprache: Englisch | Produktart: Bücher. Nº de ref. del artículo: 42984673/1
Cantidad disponible: 1 disponibles
Imagen de archivo
Programming Languages and Systems: 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and ... II (Lecture Notes in Computer Science, 14577)
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: ria9783031572661_new
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Programming Languages and Systems
Publicado por
Springer Nature Switzerland Apr 2024, 2024
ISBN 10: 3031572661
ISBN 13: 9783031572661
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 -The two-volume open access book set LNCS 14576 + 14577 constitutes the proceedings of the 33rd European Symposium on Programming, ESOP 2024, which was held during April 6-11, 2024, in Luxemburg, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024.The 25 full papers and 1 fresh perspective paper presented in these proceedings were carefully reviewed and selected from 72 submissions. The papers were organized in topical sections as follows:Part I: Effects and modal types; bidirectional typing and session types; dependent types;Part II: Quantum programming and domain-specific languages; verification; program analysis; abstract interpretation. 468 pp. Englisch. Nº de ref. del artículo: 9783031572661
Cantidad disponible: 2 disponibles
Imagen del vendedor
Programming Languages and Systems : 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6¿11, 2024, Proceedings, Part II
Publicado por
Springer Nature Switzerland, 2024
ISBN 10: 3031572661
ISBN 13: 9783031572661
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 - The two-volume open access book set LNCS 14576 + 14577 constitutes the proceedings of the 33rd European Symposium on Programming, ESOP 2024, which was held during April 6-11, 2024, in Luxemburg, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024.The 25 full papers and 1 fresh perspective paper presented in these proceedings were carefully reviewed and selected from 72 submissions. The papers were organized in topical sections as follows:Part I: Effects and modal types; bidirectional typing and session types; dependent types;Part II: Quantum programming and domain-specific languages; verification; program analysis; abstract interpretation. Nº de ref. del artículo: 9783031572661
Cantidad disponible: 1 disponibles
Imagen del vendedor
Programming Languages and Systems
Publicado por
Springer, Berlin|Springer Nature Switzerland|ETAPS Society|Springer, 2024
ISBN 10: 3031572661
ISBN 13: 9783031572661
Nuevo
Kartoniert / Broschiert
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
Kartoniert / Broschiert. Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. The two-volume open access book set LNCS 14576 + 14577 constitutes the proceedings of the 33rd European Symposium on Programming, ESOP 2024, which was held during April 6-11, 2024, in Luxemburg, as part of the European Joint Conferences on Theory and Practi. Nº de ref. del artículo: 1429714529
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Programming Languages and Systems: 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and ... II (Lecture Notes in Computer Science, 14577)
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-9783031572661
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Programming Languages and Systems: 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and . II
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. pp. 468. Nº de ref. del artículo: 26402088075
Cantidad disponible: 4 disponibles
Imagen del vendedor
Programming Languages and Systems
Publicado por
Springer Nature Switzerland, Springer Nature Switzerland Apr 2024, 2024
ISBN 10: 3031572661
ISBN 13: 9783031572661
Nuevo
Taschenbuch
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. Neuware -The two-volume open access book set LNCS 14576 + 14577 constitutes the proceedings of the 33rd European Symposium on Programming, ESOP 2024, which was held during April 6-11, 2024, in Luxemburg, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 468 pp. Englisch. Nº de ref. del artículo: 9783031572661
Cantidad disponible: 2 disponibles
Imagen de archivo
Programming Languages and Systems: 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and . II
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. 468. Nº de ref. del artículo: 394321748
Cantidad disponible: 4 disponibles
Imagen de archivo
Programming Languages and Systems: 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and . II
Impresión bajo demandaLibrería: Biblios, Frankfurt am main, HESSE, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: New. PRINT ON DEMAND pp. 468. Nº de ref. del artículo: 18402088065
Cantidad disponible: 4 disponibles