Beispielbild für diese ISBNCoalgebraic Methods in Computer Science - 11th International Workshop, CMCS 2012, Colocated with E…
Verlag: Springer
2012 Kartoniert, 268 Seiten, 235mm x 155mm x 15mm, Sprache(n): eng State-of-the-art researchFast-track conference proceedingsUnique visibility
60,88 EUR
Beispielbild für diese ISBNProgramming Languages and Systems - 28th European Symposium on Programming, ESOP 2019, Held as Par…
Verlag: Springer
2019 Kartoniert, 832 Seiten, 235mm x 155mm x 45mm, Sprache(n): eng
60,88 EUR
Beispielbild für diese ISBNVerification of Business Rules Programs
von Bruno Berstel-Da Silva Verlag: Springer
2014 Gebunden, 256 Seiten, 241mm x 160mm x 20mm, Sprache(n): eng Approach to the formal verification of rule programs as found in business rules management systemsEnables rule authors and tool developers to understand, express formally, and prove properties of the execution behavior of business…
60,88 EUR
Beispielbild für diese ISBNVerification of Business Rules Programs
von Bruno Berstel-Da Silva Verlag: Springer
2016 Kartoniert, 256 Seiten, 235mm x 155mm x 15mm, Sprache(n): eng Approach to the formal verification of rule programs as found in business rules management systems Enables rule authors and tool developers to understand, express formally, and prove properties of the execution behavior of busin…
60,88 EUR
Beispielbild für diese ISBNAgreement Technologies - 6th International Conference, AT 2018, Bergen, Norway, December 6-7, 2018…
Verlag: Springer
2019 Kartoniert, 252 Seiten, 235mm x 155mm x 14mm, Sprache(n): eng
60,88 EUR
Beispielbild für diese ISBNThe Parametric Lambda Calculus - A Metamodel for Computation
von Simona Ronchi Della Rocca, Luca Paolini Verlag: Springer
2010 Kartoniert, 272 Seiten, 235mm x 155mm x 15mm, Sprache(n): eng The book contains a completely new presentation of classical results in the field of Lambda Calculus, together with new results. The text is unique in that it presents a new calculus (Parametric Lambda Calculus) which can be inst…
60,88 EUR
Beispielbild für diese ISBNRecent Trends in Algebraic Development Techniques - 27th IFIP WG 1.3 International Workshop, WADT…
Verlag: Springer
2025 Kartoniert, 148 Seiten, 235mm x 155mm x 9mm, Sprache(n): eng
133,95 EUR
Beispielbild für diese ISBNProgramming Languages and Operational Semantics - A Concise Overview
von Maribel Fernández Verlag: Springer
2014 Kartoniert, 220 Seiten, 235mm x 155mm x 13mm, Sprache(n): eng Provides the foundations and tools needed to design new programming languages and understand existing onesExplains in a concise way the most significant constructs of modern imperative, functional and logic programming languagesE…
47,93 EUR
Beispielbild für diese ISBNCoalgebraic Methods in Computer Science - 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colo…
Verlag: Springer
2014 Kartoniert, 256 Seiten, 235mm x 155mm x 15mm, Sprache(n): eng Includes supplementary material: sn.pub/extras
58,45 EUR
Semantics of Probabilistic Processes - An Operational Approach
von Yuxin Deng Verlag: Springer
2015 Gebunden, 264 Seiten, 241mm x 160mm x 20mm, Sprache(n): eng The first book available on probabilistic testing semanticsOffers in-depth examination of probabilistic bisimulation from logical, metric, and algorithmic perspectivesDemonstrates the use of many mathematical techniques in solving…
59,91 EUR
- Stichwörter
- operationalsemantics
Speichern Sie Ihre Suche als Auftrag für einen späteren Zeitpunkt und lassen Sie sich bei neu eintreffenden Artikeln automatisch per E-Mail benachrichtigen (optional)!
