
EAN: 9783031572661

Bilder-Quelle: discount24.de - Sport-Freizeit
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.
Produktinformationen zuletzt aktualisiert am
05.05.2025 um 08:55 Uhr
05.05.2025 um 08:55 Uhr
Hersteller
-
EAN
9783031572661
MPN
-
ASIN
3031572661
Produktgruppe
-

Produktzustand:
Verfügbarkeit:
Versandkosten:
Sonderpreis:

Sie sind Shopbetreiber? Listen Sie ganz einfach Ihre Produkte hier bei uns im Portal >>>
Letzte EAN Aktualisierungen:
9781846287695 - Principles of the Spin Model Checker - Mordechai B...9781484205570 - Web Programming with Dart - Moises Belchin Patrici...
9781484202937 - MATLAB Optimization Techniques - Cesar Lopez Karto...
9783642033582 - Theorem Proving in Higher Order Logics Kartoniert ...
9781484252864 - Technology in Action Raspberry Pi Assembly Langu...
9781718501065 - Practical SQL 2nd Edition - Anthony DeBarros Karto...
9781484265932 - Beginning Mathematica and Wolfram for Data Science...
9781484231074 - Scala for Java Developers - Toby Weston Kartoniert...
9781430260585 - Nodejs Recipes - Cory Gackenheimer Kartoniert (TB)...
9781484224687 - Ruby Recipes - Malay Mandal Kartoniert (TB)...
9781484207413 - Expert F sharp 40 - Don Syme Adam Granicz Antonio ...
9781484216965 - Digital Illustration Fundamentals - Wallace Jackso...
kürzlich hinzugefügt:
9781484245033 - PowerShell and Python Together - Chet Hosmer Karto...9783319105741 - Handbook of Model Checking Gebunden...
9781484250723 - Beginning Game Development with Amazon Lumberyard ...
9781491901533 - Effective Computation in Physics - Anthony Scopatz...
9783319240114 - Programming Languages Kartoniert (TB)...
9781484250754 - Beginning x64 Assembly Programming - Jo Van Hoey K...
9781492041139 - Data Science from Scratch - Joel Grus Kartoniert (...
9781718503229 - Algorithmic Thinking - Daniel Zingaro Kartoniert (...
9780596517748 - JavaScript The Good Parts - Douglas Crockford Kart...
9783319420189 - Rule Technologies Research Tools and Applications ...
9780201633726 - Bob Quinn - GEBRAUCHT Windows Sockets Network Prog...
9781484292587 - Introduction to Dependent Types with Idris - Boro ...