- 5 Ergebnisse
Kleinster Preis: € 45,45, größter Preis: € 75,99, Mittelwert: € 60,99
1
Software Verification and Analysis - Janusz Laski#William Stanley
Bestellen
bei Thalia.de
€ 75,99
Versand: € 0,001
Bestellengesponserter Link
Janusz Laski#William Stanley:

Software Verification and Analysis - gebunden oder broschiert

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… Mehr…

Nr. 16098369. Versandkosten:, 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
Bestellen
bei booklooker.de
€ 59,90
Versand: € 0,001
Bestellengesponserter Link

Laski, Janusz:

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

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… Mehr…

Versandkosten: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
Bestellen
bei booklooker.de
€ 61,90
Versand: € 0,001
Bestellengesponserter Link
Laski, Janusz:
Software Verification and Analysis An Integrated, Hands-On Approach Janusz Laski (u. a.) Buch Englisch 2009 - gebunden oder broschiert

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… Mehr…

Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchbär
4
Software Verification and Analysis - Janusz Laski William Stanley
Bestellen
bei booklooker.de
€ 45,45
Versand: € 0,001
Bestellengesponserter Link
Janusz Laski William Stanley:
Software Verification and Analysis - Erstausgabe

2009, ISBN: 9781848822399

Gebundene Ausgabe

[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… Mehr…

Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Moluna GmbH
5
Software Verification and Analysis - Janusz Laski
Bestellen
bei BookDepository.com
€ 61,70
Versand: € 0,001
Bestellengesponserter Link
Janusz Laski:
Software Verification and Analysis - gebunden oder broschiert

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… Mehr…

Versandkosten:Versandkostenfrei. (EUR 0.00)

1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
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.

Detailangaben zum Buch - Software Verification and Analysis


EAN (ISBN-13): 9781848822399
ISBN (ISBN-10): 1848822391
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2009
Herausgeber: Springer-Verlag GmbH
234 Seiten
Gewicht: 0,509 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2008-07-27T01:01:13+02:00 (Berlin)
Detailseite zuletzt geändert am 2023-04-20T11:46:24+02:00 (Berlin)
ISBN/EAN: 9781848822399

ISBN - alternative Schreibweisen:
1-84882-239-1, 978-1-84882-239-9
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: janusz, janus, jan laski, william stanley, lask
Titel des Buches: analysis, software, few hands


Daten vom Verlag:

Autor/in: Janusz Laski; William Stanley
Titel: Software Verification and Analysis - An Integrated, Hands-On Approach
Verlag: Springer; Springer London
234 Seiten
Erscheinungsjahr: 2009-04-03
London; GB
Gedruckt / Hergestellt in Niederlande.
Gewicht: 1,150 kg
Sprache: Englisch
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.

< zum Archiv...