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
