Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems
Huisman, Marieke; Steffen, Bernhard; Kordon, Fabrice
Saint Philip Street Press
10/2020
280
Dura
Inglês
9781013271212
15 a 20 dias
939