Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft GLS point 1 390 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 790 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Software Verification and Analysis

Name: Software Verification and Analysis
Brand: Springer London Ltd
SKU: 01434146
Price: 21311 HUF
Availability: InStock
Author: Janusz Laski
ISBN: 9781848822399

An Integrated, Hands-On Approach

Janusz Laski

William Stanley

Language

English

Book Hardback

Libristo code: 01434146

Publishers Springer London Ltd, March 2009

This book addresses the most important techniques in improving the correctness of software, includin... Full description

Libristo code: 01434146

145 b

21 311 Ft

Low in stock at our supplier Shipping in 13-18 days

30-day return policy

Customers also purchased

PIC, PIC, PIC Le Tigre Manceau Edouard

Paperback

3 476 Ft

Mi lucha por la fe y la libertad Sabatina James

Paperback

6 549 Ft

Studio Danse - tome 03 CRIP+BEKA

Hardback

5 907 Ft

Pierre et Jean Guy de Maupassant

Hardback

6 961 Ft

Tajemství císařovy milenky Naďa Horáková

Hardback

4 044 Ft

This book addresses the most important techniques in improving the correctness of software, including correctness by construction (top-down refinement), program proving, static analysis and dynamic, execution-based analysis (testing and debugging).§Three major software verification techniques are discussed: Semantic program synthesis and analysis, static program analysis and dynamic program analysis. The correctness by construction paradigm is illustrated using the VDM-SL and the corresponding CSK Toolbox. The discussion involves the synthesis of direct and/or indirect specification, interpreting the latter and carrying out high-level testing of the specification.§Problems are included in the text and one or more difficult exercises appear at the end of each chapter. Also, where appropriate, STAD s handling of the concepts is illustrated.§Written for advanced students and professionals wishing to explore more than one technique, this comprehensive text will be invaluable with its unique integrated approach.