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...
Thalia.de Nr. 16098369. Verzendingskosten:, Sofort lieferbar, DE. (EUR 0.00) Details... |
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...
booklooker.de |
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...
booklooker.de |
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...
booklooker.de |
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...
BookDepository.com Verzendingskosten:Versandkostenfrei. (EUR 0.00) Details... |
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...
Laski, Janusz:
Software Verification and Analysis An Integrated, Hands-On Approach Janusz Laski (u. a.) Buch Englisch 2009 - gebonden uitgave, pocketboek2009, 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...
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...
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...
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...
Bibliografische gegevens van het best passende boek
auteur: | |
Titel: | |
ISBN: |
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.Andere boeken die eventueel grote overeenkomsten met dit boek kunnen hebben:
Laatste soortgelijke boek:
9783121131594 Einblicke Biologie - Ausgabe A / Lehrerband-CD mit Kopiervorlagen 7./8. Klasse: BD 2 (Mitarbeit: Bergau, Manfred; Müller, Ina; Ratke, Dorothea)
- 9783121131594 Einblicke Biologie - Ausgabe A / Lehrerband-CD mit Kopiervorlagen 7./8. Klasse: BD 2 (Mitarbeit: Bergau, Manfred; Müller, Ina; Ratke, Dorothea)
- 9781849968294 Software Verification and Analysis: An Integrated, Hands-On Approach (Laski, Janusz)
- 9781848822405 Software Verification and Analysis: An Integrated, Hands-On Approach (English Edition) (Laski, Janusz, Stanley, William)
- 9781848822511 Software Verification and Analysis: An Integrated, Hands-On Approach (Laski, Janusz; Stanley, William)
< naar Archief...