Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
EUR 43,95
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
EUR 49,52
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
Edité par Springer Nature Switzerland, 2024
ISBN 10 : 3031572610 ISBN 13 : 9783031572616
Langue: anglais
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
EUR 42,79
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. 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.
Edité par Springer Nature Switzerland, 2024
ISBN 10 : 3031572661 ISBN 13 : 9783031572661
Langue: anglais
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
EUR 42,79
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. 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.
Vendeur : California Books, Miami, FL, Etats-Unis
EUR 61,17
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Vendeur : Books Puddle, New York, NY, Etats-Unis
EUR 69,45
Autre deviseQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. 2024th edition NO-PA16APR2015-KAP.
Vendeur : Books Puddle, New York, NY, Etats-Unis
EUR 72,02
Autre deviseQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. pp. 468.
Edité par Springer-Nature New York Inc, 2024
ISBN 10 : 3031572610 ISBN 13 : 9783031572616
Langue: anglais
Vendeur : Revaluation Books, Exeter, Royaume-Uni
EUR 74,84
Autre deviseQuantité disponible : 2 disponible(s)
Ajouter au panierPaperback. Etat : Brand New. 356 pages. 9.25x6.10x9.21 inches. In Stock.
Edité par Springer-Nature New York Inc, 2024
ISBN 10 : 3031572661 ISBN 13 : 9783031572661
Langue: anglais
Vendeur : Revaluation Books, Exeter, Royaume-Uni
EUR 76,66
Autre deviseQuantité disponible : 2 disponible(s)
Ajouter au panierPaperback. Etat : Brand New. 468 pages. 9.25x6.10x9.21 inches. In Stock.
Vendeur : Majestic Books, Hounslow, Royaume-Uni
EUR 70,18
Autre deviseQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. Print on Demand.
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
EUR 72,11
Autre deviseQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. PRINT ON DEMAND.
Vendeur : Majestic Books, Hounslow, Royaume-Uni
EUR 72,81
Autre deviseQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. Print on Demand pp. 468.
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
EUR 73,88
Autre deviseQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. PRINT ON DEMAND pp. 468.