- 5 resultaten
laagste prijs: € 45,45, hoogste prijs: € 75,99, gemiddelde prijs: € 60,99
1
Software Verification and Analysis - Janusz Laski#William Stanley
bestellen
bij Thalia.de
€ 75,99
verzending: € 0,001
bestellenGesponsorde link
Janusz Laski#William Stanley:

Software Verification and Analysis - gebonden uitgave, pocketboek

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… Meer...

Nr. 16098369. Verzendingskosten:, 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
bij booklooker.de
€ 59,90
verzending: € 0,001
bestellenGesponsorde link

Laski, Janusz:

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

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… Meer...

Verzendingskosten: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
bij booklooker.de
€ 61,90
verzending: € 0,001
bestellenGesponsorde link
Laski, Janusz:
Software Verification and Analysis An Integrated, Hands-On Approach Janusz Laski (u. a.) Buch Englisch 2009 - gebonden uitgave, pocketboek

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… Meer...

Verzendingskosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchbär
4
Software Verification and Analysis - Janusz Laski William Stanley
bestellen
bij booklooker.de
€ 45,45
verzending: € 0,001
bestellenGesponsorde link
Janusz Laski William Stanley:
Software Verification and Analysis - eerste uitgave

2009, ISBN: 9781848822399

gebonden uitgave

[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… Meer...

Verzendingskosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Moluna GmbH
5
Software Verification and Analysis - Janusz Laski
bestellen
bij BookDepository.com
€ 61,70
verzending: € 0,001
bestellenGesponsorde link
Janusz Laski:
Software Verification and Analysis - gebonden uitgave, pocketboek

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… Meer...

Verzendingskosten:Versandkostenfrei. (EUR 0.00)

1Aangezien sommige platformen geen verzendingsvoorwaarden meedelen en deze kunnen afhangen van het land van levering, de aankoopprijs, het gewicht en de grootte van het artikel, een eventueel lidmaatschap van het platform, een rechtstreekse levering door het platform of via een derde aanbieder (Marktplaats), enz., is het mogelijk dat de door euro-boek.nl meegedeelde verzendingskosten niet overeenstemmen met deze van het aanbiedende platform.

Bibliografische gegevens van het best passende boek

Bijzonderheden over het boek
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.

Gedetalleerde informatie over het boek. - Software Verification and Analysis


EAN (ISBN-13): 9781848822399
ISBN (ISBN-10): 1848822391
Gebonden uitgave
pocket book
Verschijningsjaar: 2009
Uitgever: Springer-Verlag GmbH
234 Bladzijden
Gewicht: 0,509 kg
Taal: eng/Englisch

Boek bevindt zich in het datenbestand sinds 2008-07-27T01:01:13+02:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2023-04-20T11:46:24+02:00 (Amsterdam)
ISBN/EAN: 9781848822399

ISBN - alternatieve schrijfwijzen:
1-84882-239-1, 978-1-84882-239-9
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: janusz, janus, jan laski, william stanley, lask
Titel van het boek: analysis, software, few hands


Gegevens van de uitgever

Auteur: Janusz Laski; William Stanley
Titel: Software Verification and Analysis - An Integrated, Hands-On Approach
Uitgeverij: Springer; Springer London
234 Bladzijden
Verschijningsjaar: 2009-04-03
London; GB
Gedrukt / Gemaakt in
Gewicht: 1,150 kg
Taal: Engels
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.

< naar Archief...