- 5 Results
Lowest price: € 45.45, highest price: € 75.99, average price: € 60.99
1
Software Verification and Analysis - Janusz Laski#William Stanley
Order
at Thalia.de
€ 75.99
Shipment: € 0.001
OrderSponsored link
Janusz Laski#William Stanley:

Software Verification and Analysis - hardcover

2009, ISBN: 9781848822399

“The situation is good, but not hopeless” (Polish folk wisdom) The text is devoted to the Software Analysis and Testing (SAT) methods and s- porting tools for assessin… More...

Nr. 16098369. Shipping costs:, Sofort lieferbar, DE. (EUR 0.00)
2
Software Verification and Analysis  An Integrated, Hands-On Approach  Janusz Laski (u. a.)  Buch  Englisch  2009 - Laski, Janusz
Order
at booklooker.de
€ 59.90
Shipment: € 0.001
OrderSponsored link

Laski, Janusz:

Software Verification and Analysis An Integrated, Hands-On Approach Janusz Laski (u. a.) Buch Englisch 2009 - hardcover

2009, ISBN: 9781848822399

[ED: Gebunden], [PU: Springer London], "The situation is good, but not hopeless" (Polish folk wisdom) The text is devoted to the Software Analysis and Testing (SAT) methods and s- porting… More...

Shipping costs:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) preigu
3
Software Verification and Analysis  An Integrated, Hands-On Approach  Janusz Laski (u. a.)  Buch  Englisch  2009 - Laski, Janusz
Order
at booklooker.de
€ 61.90
Shipment: € 0.001
OrderSponsored link
Laski, Janusz:
Software Verification and Analysis An Integrated, Hands-On Approach Janusz Laski (u. a.) Buch Englisch 2009 - hardcover

2009

ISBN: 9781848822399

[ED: Gebunden], [PU: Springer London], "The situation is good, but not hopeless" (Polish folk wisdom) The text is devoted to the Software Analysis and Testing (SAT) methods and s- porting… More...

Shipping costs:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchbär
4
Software Verification and Analysis - Janusz Laski William Stanley
Order
at booklooker.de
€ 45.45
Shipment: € 0.001
OrderSponsored link
Janusz Laski William Stanley:
Software Verification and Analysis - First edition

2009, ISBN: 9781848822399

Hardcover

[ED: Gebunden], [PU: Springer London], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Emphasis is given to the integration of the most im… More...

Shipping costs:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Moluna GmbH
5
Software Verification and Analysis - Janusz Laski
Order
at BookDepository.com
€ 61.70
Shipment: € 0.001
OrderSponsored link
Janusz Laski:
Software Verification and Analysis - hardcover

ISBN: 9781848822399

Hardback, [PU: Springer London Ltd], “The situation is good, but not hopeless” (Polish folk wisdom) The text is devoted to the Software Analysis and Testing (SAT) methods and s- porti… More...

Shipping costs:Versandkostenfrei. (EUR 0.00)

1As some platforms do not transmit shipping conditions to us and these may depend on the country of delivery, the purchase price, the weight and size of the item, a possible membership of the platform, a direct delivery by the platform or via a third-party provider (Marketplace), etc., it is possible that the shipping costs indicated by euro-book.co.uk / euro-book.co.uk do not correspond to those of the offering platform.

Bibliographic data of the best matching book

Details of the book
Software Verification and Analysis

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.

Details of the book - Software Verification and Analysis


EAN (ISBN-13): 9781848822399
ISBN (ISBN-10): 1848822391
Hardcover
Paperback
Publishing year: 2009
Publisher: Springer-Verlag GmbH
234 Pages
Weight: 0,509 kg
Language: eng/Englisch

Book in our database since 2008-07-27T00:01:13+01:00 (London)
Detail page last modified on 2023-04-20T10:46:24+01:00 (London)
ISBN/EAN: 1848822391

ISBN - alternate spelling:
1-84882-239-1, 978-1-84882-239-9
Alternate spelling and related search-keywords:
Book author: janusz, janus, jan laski, william stanley, lask
Book title: analysis, software, few hands


Information from Publisher

Author: Janusz Laski; William Stanley
Title: Software Verification and Analysis - An Integrated, Hands-On Approach
Publisher: Springer; Springer London
234 Pages
Publishing year: 2009-04-03
London; GB
Printed / Made in
Weight: 1,150 kg
Language: English
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
POD
XVIII, 234 p. 62 illus. With online files/update.

BB; Software Engineering/Programming and Operating Systems; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Debugging; Program dependencies; Program proving; Software verification; Static analysis; software; testing; verification; Software Engineering; Programming Techniques; Software Engineering; Programming Techniques; Computerprogrammierung und Softwareentwicklung; BC; EA

The Semantic Analysis.- Why Not Write Correct Software the First Time?.- How to Prove a Program Correct: Programs Without Loops.- How to Prove a Program Correct: Iterative Programs.- Prepare Test for Any Implementation: Black-Box Testing.- Static Analysis.- Intermediate Program Representation.- Program Dependencies.- What Can One Tell About a Program Without Its Execution: Static Analysis.- Dynamic Analysis.- Is There a Bug in the Program? Structural Program Testing.- Dynamic Program Analysis.

< to archive...