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

    • US$39.99
    • US$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년
9월 24일
언어
EN
영어
길이
136
페이지
출판사
Springer International Publishing
판매자
Springer Nature B.V.
크기
3.1
MB
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년