Foundational and Practical Aspects of Resource Analysis Foundational and Practical Aspects of Resource Analysis

Foundational and Practical Aspects of Resource Analysis

4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers

Marko van Eekelen und Ugo Dal Lago
    • 42,99 €
    • 42,99 €

Beschreibung des Verlags

This book constitutes the proceedings of the 4th International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2015, held in London, UK, in April 2015. The 6 papers presented in this volume were carefully reviewed and selected from 7 submissions.

GENRE
Computer und Internet
ERSCHIENEN
2016
24. September
SPRACHE
EN
Englisch
UMFANG
136
Seiten
VERLAG
Springer International Publishing
ANBIETERINFO
Springer Science & Business Media LLC
GRÖSSE
3,1
 MB

Mehr ähnliche Bücher

Dependable Software Engineering. Theories, Tools, and Applications Dependable Software Engineering. Theories, Tools, and Applications
Dependable Software Engineering. Theories, Tools, and Applications
2017
FM 2016: Formal Methods FM 2016: Formal Methods
FM 2016: Formal Methods
2016
Integrated Formal Methods Integrated Formal Methods
Integrated Formal Methods
2020
Model Checking Software Model Checking Software
Model Checking Software
2019
Model Checking Software Model Checking Software
Model Checking Software
2018
Formal Methods and Software Engineering Formal Methods and Software Engineering
Formal Methods and Software Engineering
2022

Mehr Bücher von Marko van Eekelen & Ugo Dal Lago

Interactive Theorem Proving Interactive Theorem Proving
Interactive Theorem Proving
2011