1 Ebooks by Alastair Donaldson
Alastair Donaldson & David Parker: Model Checking Software
This book constitutes the thoroughly refereed proceedings of the 19th International SPIN workshop on Model Checking Software, SPIN 2012, held in Oxford, UK, in July 2012. The 11 revised full papers …
PDF
English
DRM
€52.33
