Tools and Algorithms for the Construction and Analysis of Systems

by Christel Baier, Cesare Tinelli

System designSystem analysisComputer software, development

For young readers

Book data: Open Library