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$

وصف الناشر

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.

النوع
كمبيوتر وإنترنت
تاريخ النشر
٢٠١٦
٢٤ سبتمبر
اللغة
EN
الإنجليزية
عدد الصفحات
١٣٦
الناشر
Springer International Publishing
البائع
Springer Nature B.V.
الحجم
٣٫١
‫م.ب.‬
Dependable Software Engineering. Theories, Tools, and Applications Dependable Software Engineering. Theories, Tools, and Applications
٢٠١٧
FM 2016: Formal Methods FM 2016: Formal Methods
٢٠١٦
Integrated Formal Methods Integrated Formal Methods
٢٠٢٠
Model Checking Software Model Checking Software
٢٠١٩
Model Checking Software Model Checking Software
٢٠١٨
Formal Methods and Software Engineering Formal Methods and Software Engineering
٢٠٢٢