Programming Languages and Systems: 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and ... April 6–11, 2024, Proceedings, Part I - Couverture souple

9783031572616: Programming Languages and Systems: 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and ... April 6–11, 2024, Proceedings, Part I

Couverture souple

ISBN 10 : 3031572610 ISBN 13 : 9783031572616

Editeur : Springer International Publishing AG, 2024

Afficher les exemplaires de cette �dition comportant l?ISBN

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.

Les informations fournies dans la section � Synopsis � peuvent faire r�f�rence � une autre �dition de ce titre.

�diteurSpringer International Publishing AG
Date d'�dition2024
ISBN 10 3031572610
ISBN 13 9783031572616
ReliureBroch�
Langueanglais
Num�ro d'�dition1
Nombre de pages340
�diteurWeirich Stephanie

Acheter neuf

Afficher cet article

EUR 43,76

Autre devise

EUR 4,73 exp�dition depuis Royaume-Uni vers France

Destinations, frais et d�lais

Ajouter au panier

R�sultats de recherche pour Programming Languages and Systems: 33rd European Symposium...

Image d'archives

Programming Languages and Systems: 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and ... I (Lecture Notes in Computer Science, 14576)

Edit� par Springer, 2024

ISBN 10 : 3031572610 ISBN 13 : 9783031572616

Neuf Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Etat : New. In. N� de r�f. du vendeur ria9783031572616_new

Contacter le vendeur

Acheter neuf

EUR 43,76

Autre devise

Frais de port : EUR 4,73

De Royaume-Uni vers France

Destinations, frais et d�lais

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Programming Languages and Systems

Edit� par Springer, Berlin|Springer Nature Switzerland|ETAPS Society|Springer, 2024

ISBN 10 : 3031572610 ISBN 13 : 9783031572616

Neuf Couverture souple

impression � la demande

Vendeur : moluna, Greven, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Etat : 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 r�f. du vendeur 1429714527

Contacter le vendeur

Acheter neuf

EUR 41,28

Autre devise

Frais de port : EUR 9,70

De Allemagne vers France

Destinations, frais et d�lais

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

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 I

Stephanie Weirich

Edit� par Springer Nature Switzerland, 2024

ISBN 10 : 3031572610 ISBN 13 : 9783031572616

Neuf Taschenbuch

Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : 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 r�f. du vendeur 9783031572616

Contacter le vendeur

Acheter neuf

EUR 42,79

Autre devise

Frais de port : EUR 10,99

De Allemagne vers France

Destinations, frais et d�lais

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Programming Languages and Systems

Stephanie Weirich

Edit� par Springer Nature Switzerland Apr 2024, 2024

ISBN 10 : 3031572610 ISBN 13 : 9783031572616

Neuf Taschenbuch

impression � la demande

Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : 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. 356 pp. Englisch. N� de r�f. du vendeur 9783031572616

Contacter le vendeur

Acheter neuf

EUR 42,79

Autre devise

Frais de port : EUR 11

De Allemagne vers France

Destinations, frais et d�lais

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image d'archives

Programming Languages and Systems: 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and . I (Lecture Notes in Computer Science, 14576)

Edit� par Springer, 2024

ISBN 10 : 3031572610 ISBN 13 : 9783031572616

Neuf Couverture souple

Vendeur : Books Puddle, New York, NY, Etats-Unis

�valuation du vendeur 4 sur 5 �toiles

Etat : New. 2024th edition NO-PA16APR2015-KAP. N� de r�f. du vendeur 26401632265

Contacter le vendeur

Acheter neuf

EUR 69,14

Autre devise

Frais de port : EUR 7,94

De Etats-Unis vers France

Destinations, frais et d�lais

Quantit� disponible : 4 disponible(s)

Ajouter au panier

Image d'archives

Programming Languages and Systems (Paperback)

Stephanie Weirich

Edit� par Springer International Publishing AG, Cham, 2024

ISBN 10 : 3031572610 ISBN 13 : 9783031572616

Neuf Paperback Edition originale

Vendeur : CitiRetail, Stevenage, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Paperback. Etat : 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 our UK warehouse or from our Australian or US warehouses, depending on stock availability. N� de r�f. du vendeur 9783031572616

Contacter le vendeur