"Chaochen Zhou" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays (Lecture Notes in Computer Science)

Cliff B. Jones, Zhiming Liu, Jim Woodcock

7.82 Mb

#2

Duration Calculus.. A Formal Approach to Real-Time Systems

Chaochen Zhou, Michael R. Hansen

71.49 Mb

#3

Duration Calculus: A Formal Approach to Real-Time Systems

Chaochen Zhou, Michael R. Hansen

Категория: Cs_Computer science, CsNp_Computability

1.79 Mb

#4

Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays

Cliff B. Jones, Zhiming Liu, Jim Woodcock

5.37 Mb