Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 43,76
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Editore: Springer Nature Switzerland, 2024
ISBN 10: 3031572610 ISBN 13: 9783031572616
Lingua: Inglese
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 42,79
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. 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.
Editore: Springer Nature Switzerland, 2024
ISBN 10: 3031572661 ISBN 13: 9783031572661
Lingua: Inglese
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 42,79
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. 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.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 49,30
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Da: California Books, Miami, FL, U.S.A.
EUR 60,90
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: Books Puddle, New York, NY, U.S.A.
EUR 69,14
Convertire valutaQuantità: 4 disponibili
Aggiungi al carrelloCondizione: New. 2024th edition NO-PA16APR2015-KAP.
Da: Books Puddle, New York, NY, U.S.A.
EUR 71,70
Convertire valutaQuantità: 4 disponibili
Aggiungi al carrelloCondizione: New. pp. 468.
Editore: Springer-Nature New York Inc, 2024
ISBN 10: 3031572610 ISBN 13: 9783031572616
Lingua: Inglese
Da: Revaluation Books, Exeter, Regno Unito
EUR 74,51
Convertire valutaQuantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 356 pages. 9.25x6.10x9.21 inches. In Stock.
Editore: Springer-Nature New York Inc, 2024
ISBN 10: 3031572661 ISBN 13: 9783031572661
Lingua: Inglese
Da: Revaluation Books, Exeter, Regno Unito
EUR 76,32
Convertire valutaQuantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 468 pages. 9.25x6.10x9.21 inches. In Stock.
Da: Majestic Books, Hounslow, Regno Unito
EUR 69,87
Convertire valutaQuantità: 4 disponibili
Aggiungi al carrelloCondizione: New. Print on Demand.
Da: Biblios, Frankfurt am main, HESSE, Germania
EUR 72,11
Convertire valutaQuantità: 4 disponibili
Aggiungi al carrelloCondizione: New. PRINT ON DEMAND.
Da: Majestic Books, Hounslow, Regno Unito
EUR 72,48
Convertire valutaQuantità: 4 disponibili
Aggiungi al carrelloCondizione: New. Print on Demand pp. 468.
Da: Biblios, Frankfurt am main, HESSE, Germania
EUR 73,88
Convertire valutaQuantità: 4 disponibili
Aggiungi al carrelloCondizione: New. PRINT ON DEMAND pp. 468.