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 US$
    • 39,99 US$

Lời Giới Thiệu Của Nhà Xuất Bản

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.

THỂ LOẠI
Máy Vi Tính & Internet
ĐÃ PHÁT HÀNH
2016
24 tháng 9
NGÔN NGỮ
EN
Tiếng Anh
ĐỘ DÀI
136
Trang
NHÀ XUẤT BẢN
Springer International Publishing
NGƯỜI BÁN
Springer Nature B.V.
KÍCH THƯỚC
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