An edition of Theories of Programming and Formal Methods
(2013)
Theories of Programming and Formal Methods
Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday
by Zhiming Liu, Jim Woodcock, and Huibiao Zhu
Share
×Close
This work doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
| Edition | Availability |
|---|---|
1
Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday
2013, Springer
in English
3642396984 9783642396984
|
aaaa
|
Book Details
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
| February 26, 2022 | Created by ImportBot | import new book |