1 电子书 Simon Foster
Simon Foster & Augusto Sampaio: Application of Formal Methods
This Festschrift, dedicated to Jim Woodcock, contains papers written by many of his closest collaborators.After a Ph D on software verification at the University of Liverpool, Jim has combined a succ …
EPUB
英语
DRM
€128.18
