Software Verification and Analysis: An Integrated, Hands-On Approach by Janusz L
82,95 €
By Janusz Laski, William Stanley. It could also be very useful to software engineering researchers and practitioners. While this book's subtitle indicates a 'hands-on approach,' it really takes a formal mathematical approach to describing software verification.
Jetzt bei Ebay: