paperback. Condition: Very Good.
Condition: As New. Unread book in perfect condition.
Condition: New.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
US$ 49.17
Quantity: Over 20 available
Add to basketCondition: New. In.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
US$ 49.15
Quantity: Over 20 available
Add to basketCondition: New.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
US$ 55.29
Quantity: Over 20 available
Add to basketCondition: New. In.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
US$ 53.82
Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
Condition: New. 2024th edition NO-PA16APR2015-KAP.
Condition: New. pp. 468.
Language: English
Published by Springer-Nature New York Inc, 2024
ISBN 10: 3031572610 ISBN 13: 9783031572616
Seller: Revaluation Books, Exeter, United Kingdom
US$ 83.57
Quantity: 2 available
Add to basketPaperback. Condition: Brand New. 356 pages. 9.25x6.10x9.21 inches. In Stock.
Language: English
Published by Springer-Nature New York Inc, 2024
ISBN 10: 3031572661 ISBN 13: 9783031572661
Seller: Revaluation Books, Exeter, United Kingdom
US$ 85.59
Quantity: 2 available
Add to basketPaperback. Condition: Brand New. 468 pages. 9.25x6.10x9.21 inches. In Stock.
Language: English
Published by Springer Nature Switzerland, 2024
ISBN 10: 3031572610 ISBN 13: 9783031572616
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: 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.
Language: English
Published by Springer Nature Switzerland, 2024
ISBN 10: 3031572661 ISBN 13: 9783031572661
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: 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.
Condition: Sehr gut. Zustand: Sehr gut | Seiten: 356 | Sprache: Englisch | Produktart: Bücher | 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.
Condition: Hervorragend. Zustand: Hervorragend | Seiten: 468 | Sprache: Englisch | Produktart: Bücher | 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.
Condition: New. Print on Demand.
Condition: New. PRINT ON DEMAND.
Condition: New. Print on Demand pp. 468.
Condition: New. PRINT ON DEMAND pp. 468.