Dear all,
Now the book ``Real-Time Systems: Specification, Verification and Analysis'' Edited by Prof. Mathai Joseph, which was published
Prentice Hall, is available free of charge at
www.pune.tcs.co.in : Link from the home page
www.tcs.com : Link from the home page
www.tcs-america.com : Link from http://www.tcs-america.com/resources.html
Zhiming Liu
|