Unifying Theories of Programming and Formal Engineering Methods > Editions
by Zhiming Liu First published July 19th 2013
Published July 19th 2013
by Springer
2013, Paperback, 295 pages
Published November 27th 2013
by Springer
Paperback, 296 pages