
EAN: 9783662544334

Bilder-Quelle: discount24.de - Sport-Freizeit
This book constitutes the proceedings of the 26th European Symposium on Programming ESOP 2017 which took place in Uppsala Sweden in April 2017 held as Part of the European Joint Conferences on Theory and Practice of Software ETAPS 2017. The 36 papers presented in this volume were carefully reviewed and selected from 112 submissions. They cover traditional as well as emerging topics in programming languages. In detail they deal with semantic foundation and type system for probabilistic programming techniqu3es for verifying concurrent or higher-order programs programming languages for arrays or web data program analysis and verification of non-standard program properties foundation and application of interactive theorem proving graph rewriting separation logic session type type theory and implicit computational complexity.
Produktinformationen zuletzt aktualisiert am
06.08.2025 um 09:47 Uhr
06.08.2025 um 09:47 Uhr
Hersteller
-
EAN
9783662544334
MPN
-
ASIN
B06Y533VF4
Produktgruppe
-

Produktzustand:
Verfügbarkeit:
Versandkosten:
Sonderpreis:

Sie sind Shopbetreiber? Listen Sie ganz einfach Ihre Produkte hier bei uns im Portal >>>
Letzte EAN Aktualisierungen:
9781484242391 - Learn Keras for Deep Neural Networks - Jojo John M...9783319411613 - E-Learning Systems - Aleksandra Klasnja-Milicevic ...
9783540410546 - Semantics Applications and Implementation of Progr...
9781718502741 - Plantz Robert Introduction to Computer Organizatio...
9783031004216 - Synthesis Lectures on Artificial Intelligence and ...
9783031010088 - Synthesis Lectures on Human Language Technologies ...
9781484292495 - The Absolute Beginners Guide to HTML and CSS - Kev...
9781590595497 - Beginning Visual C# 2005 Express Edition - Heather...
9781430265382 - Building JavaScript Games - Arjan Egges Kartoniert...
9783642115028 - Practical Aspects of Declarative Languages Kartoni...
9783731506638 - Eine Technologie für das durchgängige und automa...
9780387948331 - Dantzig George B - GEBRAUCHT Linear Programming 1 ...
kürzlich hinzugefügt:
9783642005893 - Programming Languages and Systems Kartoniert (TB)...9781484240656 - The Joys of Hashing - Thomas Mailund Kartoniert (T...
9783030133030 - Undergraduate Topics in Computer Science Concise...
9781718500921 - McDonald Jason C Dead Simple Python...
9783642376504 - Programming Logics Kartoniert (TB)...
9781718502161 - Modeling and Simulation in Python - Allen B Downey...
9781718500563 - Machine Learning for Kids - Dale Lane Kartoniert (...
9780201710403 - Giancarlo Succi - GEBRAUCHT Extreme Programming Ex...
9781484281543 - Beginning Data Science in R 4 - Thomas Mailund Kar...
9783662529201 - Logic Language Information and Computation Kartoni...
9781484282694 - Raspberry Pi Image Processing Programming - Ashwin...
9783030452308 - Foundations of Software Science and Computation St...