Book Details | |
Publisher: | Springer |
By: | Zhiming Liu, Jim Woodcock, Huibiao Zhu |
ISBN-13: | 9783642396977 |
ISBN-10: | 3642396976 |
Year: | 2013 |
Pages: | 413 |
Language: | English |
Book Preview | |
Online | Theories of Programming and Formal Methods |
Paper Book | |
Buy: | Theories of Programming and Formal Methods |