Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday
- Author
- Jean-Raymond Abrial (auth.), Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Language
- English
- Edition
- 1
- Year
- 2013
- Page
- 413
- ISBN
- 978-3-642-39697-7,978-3-642-39698-4
- File Type
- pdf
- File Size
- 5.3 MiB
How to Download?!!!
Just click on START button on Telegram Bot