Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays - ISBN:354075220X - Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays.rar - Download Links - Free eBooks Download! eBooks,Magazines,Torrent.

Advertising

Sponsored link: