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)

ISBN 10: 3031572661 ISBN 13: 9783031572661
Editore: Springer, 2024
Nuovi Brossura

Da Ria Christie Collections, Uxbridge, Regno Unito Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Venditore AbeBooks dal 25 marzo 2015

Questo articolo specifico non è più disponibile.

Riguardo questo articolo

Descrizione:

In. Codice articolo ria9783031572661_new

Segnala questo articolo

Riassunto:

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.

Dalla quarta di copertina: 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.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Dati bibliografici

Titolo: Programming Languages and Systems: 33rd ...
Casa editrice: Springer
Data di pubblicazione: 2024
Legatura: Brossura
Condizione: New

I migliori risultati di ricerca su AbeBooks

Foto dell'editore

Unbekannt
Editore: Springer, 2024
ISBN 10: 3031572661 ISBN 13: 9783031572661
Antico o usato Brossura

Da: Buchpark, Trebbin, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: Hervorragend. Zustand: Hervorragend | Seiten: 468 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar. Codice articolo 42984673/1

Contatta il venditore

Compra usato

EUR 28,11
EUR 105,00 shipping
Spedito da Germania a U.S.A.

Quantità: 1 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

ISBN 10: 3031572661 ISBN 13: 9783031572661
Nuovo Kartoniert / Broschiert
Print on Demand

Da: moluna, Greven, Germania

Valutazione del venditore 4 su 5 stelle 4 stelle, Maggiori informazioni sulle valutazioni dei venditori

Kartoniert / Broschiert. Condizione: 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. Codice articolo 1429714529

Contatta il venditore

Compra nuovo

EUR 39,60
EUR 48,99 shipping
Spedito da Germania a U.S.A.

Quantità: Più di 20 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Stephanie Weirich
Editore: Springer, 2024
ISBN 10: 3031572661 ISBN 13: 9783031572661
Nuovo Taschenbuch

Da: preigu, Osnabrück, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Taschenbuch. Condizione: Neu. 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 | Stephanie Weirich | Taschenbuch | xvi | Englisch | 2024 | Springer | EAN 9783031572661 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Codice articolo 128636974

Contatta il venditore

Compra nuovo

EUR 41,25
EUR 70,00 shipping
Spedito da Germania a U.S.A.

Quantità: 5 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Stephanie Weirich
ISBN 10: 3031572661 ISBN 13: 9783031572661
Nuovo Taschenbuch

Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Taschenbuch. Condizione: 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. Codice articolo 9783031572661

Contatta il venditore

Compra nuovo

EUR 42,79
EUR 60,00 shipping
Spedito da Germania a U.S.A.

Quantità: 2 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Stephanie Weirich
ISBN 10: 3031572661 ISBN 13: 9783031572661
Nuovo Taschenbuch
Print on Demand

Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Taschenbuch. Condizione: 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. Codice articolo 9783031572661

Contatta il venditore

Compra nuovo

EUR 42,79
EUR 23,00 shipping
Spedito da Germania a U.S.A.

Quantità: 2 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Stephanie Weirich
ISBN 10: 3031572661 ISBN 13: 9783031572661
Nuovo Taschenbuch

Da: AHA-BUCH GmbH, Einbeck, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Taschenbuch. Condizione: 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. Codice articolo 9783031572661

Contatta il venditore

Compra nuovo

EUR 42,79
EUR 63,52 shipping
Spedito da Germania a U.S.A.

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Stephanie Weirich
ISBN 10: 3031572661 ISBN 13: 9783031572661
Nuovo Paperback Prima edizione

Da: Grand Eagle Retail, Bensenville, IL, U.S.A.

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Paperback. Condizione: new. Paperback. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Codice articolo 9783031572661

Contatta il venditore

Compra nuovo

EUR 52,80
Spedizione gratuita
Spedito in U.S.A.

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Editore: Springer, 2024
ISBN 10: 3031572661 ISBN 13: 9783031572661
Nuovo Brossura

Da: California Books, Miami, FL, U.S.A.

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. Codice articolo I-9783031572661

Contatta il venditore

Compra nuovo

EUR 58,74
Spedizione gratuita
Spedito in U.S.A.

Quantità: Più di 20 disponibili

Aggiungi al carrello

Foto dell'editore

Editore: Springer, 2024
ISBN 10: 3031572661 ISBN 13: 9783031572661
Nuovo Brossura

Da: Books Puddle, New York, NY, U.S.A.

Valutazione del venditore 4 su 5 stelle 4 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. pp. 468. Codice articolo 26402088075

Contatta il venditore

Compra nuovo

EUR 63,83
EUR 3,40 shipping
Spedito in U.S.A.

Quantità: 4 disponibili

Aggiungi al carrello

Foto dell'editore

Editore: Springer, 2024
ISBN 10: 3031572661 ISBN 13: 9783031572661
Nuovo Brossura
Print on Demand

Da: Majestic Books, Hounslow, Regno Unito

Valutazione del venditore 4 su 5 stelle 4 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. Print on Demand pp. 468. Codice articolo 394321748

Contatta il venditore

Compra nuovo

EUR 64,63
EUR 7,43 shipping
Spedito da Regno Unito a U.S.A.

Quantità: 4 disponibili

Aggiungi al carrello

Vedi altre 3 copie di questo libro

Vedi tutti i risultati per questo libro