2 Електронні книги від Jane Hillston
Marco Bernardo & Jane Hillston: Formal Methods for Performance Evaluation
…
PDF
Англійська
DRM
€57.91
Jane Hillston & Sadegh Soudjani: Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems
This book constitutes the proceedings of the First International Joint Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, QEST+Formats 2024, which too …
EPUB
Англійська
DRM
€167.05
