Software Verification and Analysis

Name: Software Verification and Analysis
Brand: Springer London Ltd
SKU: 9781848822399
Price: 240.46 PLN
Availability: InStock

An Integrated, Hands-On Approach

Autor: Janusz Laski, William Stanley

Język:

Oprawa: Twarda

Wydawca: Springer London Ltd

Dostępność: Dostępna u dostawcy w małych ilościach

Wysyłamy za 13-18 dni

240.46 zł

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

Informacje o książce

Autor

Janusz Laski, William Stanley

Język

Angielski

Oprawa

Książka - Twarda

Data wydania

2009

strony

234

EAN

9781848822399

ISBN

1848822391

Enbook ID

01434146

Wydawca

Springer London Ltd

Waga

510

Wymiary

164 x 242 x 21

Pełny opis

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.

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Software Verification and Analysis

An Integrated, Hands-On Approach

Informacje o książce

Pełny opis

Możesz być zainteresowany

Brand Equity and Brand Value

Equality

My Name is This, Not That

The Garden Journal of the New York Botanical Garden, V9, No. 3, May-June, 1959

The Perfume-Holder: A Persian Love Poem (1891)

The Praying Church Handbook: 4-Volume Set

Gospel, Church, and Ministry

Cook's Handbook for London. with Two Maps.

Charles Peirce's Empiricism

Peer Groups and Children's Development

Life and Times of Cultural Studies

Chasing the American Dream

Threshold 1990

Antarctica: Land of the Penguins

Real Numbers

Solar Based Hydrogen Production Systems

Klienci, którzy kupili tę książkę, kupili również

PIC, PIC, PIC Le Tigre

Mi lucha por la fe y la libertad

Studio Danse - tome 03

Pierre et Jean

Tajemství císařovy milenky