2 Ebooks tarafından Jane Hillston
Marco Bernardo & Jane Hillston: Formal Methods for Performance Evaluation
…
PDF
İngilizce
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
İngilizce
DRM
€167.05
