ModelEd, TestEd, TrustEdde Joost-Pieter Katoen, Rom Langerak, Arend RensinkMateriasComputer science, mathematicsComputer simulationLogic, symbolic and mathematicalEdiciones (1)ModelEd, TestEd, TrustEd (2017)Springer · ISBN 9783319682693Más obras de Joost-Pieter Katoen
LLectures on Formal Methods and Performance AnalysisLectures on Formal Methods and Performance Analysis
TTools and Algorithms for the Construction and Analysis of SyTools and Algorithms for the Construction and Analysis of Systems