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

    • 39,99 $
    • 39,99 $

От издателя

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.

ЖАНР
Компьютеры и Интернет
РЕЛИЗ
2016
24 сентября
ЯЗЫК
EN
английский
ОБЪЕМ
136
стр.
ИЗДАТЕЛЬ
Springer International Publishing
ПРОДАВЕЦ
Springer Nature B.V.
РАЗМЕР
3,1
МБ
Dependable Software Engineering. Theories, Tools, and Applications Dependable Software Engineering. Theories, Tools, and Applications
2017
FM 2016: Formal Methods FM 2016: Formal Methods
2016
Integrated Formal Methods Integrated Formal Methods
2020
Model Checking Software Model Checking Software
2019
Model Checking Software Model Checking Software
2018
Formal Methods and Software Engineering Formal Methods and Software Engineering
2022