Catalogo · 9783540309468
Formal modeling and analysis of timed systems
ISBN 9783540309468
Descrizione non disponibile per questo libro.
La tua libreria
Accedi per aggiungere questo libro alla tua libreria.
Lettori
Communitas attorno al libro
Letture affini
Dependable Software Engineering : Theories, Tools, and Applications
Xuandong Li, Zhiming Liu, Wang Yi
Zhi chang lu xian tu
Wang Yi
Yi xue jiu hui de shan suan
Liu kai yun, Wang yi
Yi qian ling yi ye
Wang yi, Cai xiao mu
Xin shou ru he wang shang kai dian
Wang yi
Xian dai shi chang ying xiao xue
Wang yi, Zhang jian yu
Tao bu tuo de e meng
Wei lu si, Wang yi
Princesse Corbeau
Wang Yi
Ni de shi jie ni lai zao
Chen chen, Wang yi
Model Checking, Synthesis, and Learning
Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi
Ke xue de zhi zao
Ke er, Wang yi
Dostoevsky and Kant
Evgenia Cherkasova
Verba volant · scripta manent