Software Verification and Analysis - An Integrated, Hands-on Approach - Paperback - 2010

Janusz Laski, William Stanley

This book addresses the most important techniques in improving the correctness of software, including correctness by construction, program proving, static analysis and dynamic, execution-based analysis. Problems and exercises are included.
Year of publication: 2010
Pagination: 234 pages, black & white illustrations
Format: Paperback

Software Verification and Analysis - An Integrated, Hands...

Software Verification and Analysis - An Integrated, Hands-on Approach - Paperback - 2010

Sê o primeiro a dar
a tua opinião sobre este produto

Editora: Springer London Ltd

Dimensão: 234 x 156 x 13

Peso: 348

Tema: Software Engineering

Edição: 1st ed. Softcover of orig. ed. 2009

Origem: United Kingdom

EAN: 9781849968294

Software Verification and Analysis - An Integrated, Hands-on Approach - Paperback - 2010

Janusz Laski, William Stanley

Resumo

Avaliações dos nossos clientes

Características