2009, ISBN: 9781848822405
An Integrated, Hands-On Approach, eBooks, eBook Download (PDF), Auflage, "e;The situation is good, but not hopeless"e; (Polish folk wisdom) The text is devoted to the Soft… Mehr…
lehmanns.de Versandkosten:Download sofort lieferbar. (EUR 0.00) Details... |
2009, ISBN: 9781848822405
Springer, Kindle Ausgabe, Auflage: 2009, 353 Seiten, Publiziert: 2009-04-29T00:00:00.000Z, Produktgruppe: Digital Ebook Purchas, Informatik, IT-Ausbildung & -Berufe, Computer & Internet, … Mehr…
amazon.de |
2009, ISBN: 9781848822405
Springer, Kindle Edition, Auflage: 2009, 353 Seiten, Publiziert: 2009-04-29T00:00:00.000Z, Produktgruppe: Digital Ebook Purchas, Verkaufsrang: 2121797, Functional Programming, Software De… Mehr…
amazon.co.uk |
ISBN: 9781848822405
This book addresses the most important techniques in improving the correctness of software, including correctness by construction, program proving, static analysis and dynamic, execution-… Mehr…
hive.co.uk No. 9781848822405. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten. Details... |
ISBN: 9781848822405
Software Verification and Analysis - An Integrated Hands-On Approach: ab 53.49 € eBooks > Sachthemen & Ratgeber > Computer & Internet Springer-Verlag GmbH eBook als pdf, Springer-Verlag GmbH
eBook.de Versandkosten:in stock, , , DE. (EUR 0.00) Details... |
2009, ISBN: 9781848822405
An Integrated, Hands-On Approach, eBooks, eBook Download (PDF), Auflage, "e;The situation is good, but not hopeless"e; (Polish folk wisdom) The text is devoted to the Soft… Mehr…
Laski, Janusz, Stanley, William:
Software Verification and Analysis: An Integrated, Hands-On Approach (English Edition) - neues Buch2009, ISBN: 9781848822405
Springer, Kindle Ausgabe, Auflage: 2009, 353 Seiten, Publiziert: 2009-04-29T00:00:00.000Z, Produktgruppe: Digital Ebook Purchas, Informatik, IT-Ausbildung & -Berufe, Computer & Internet, … Mehr…
2009
ISBN: 9781848822405
Springer, Kindle Edition, Auflage: 2009, 353 Seiten, Publiziert: 2009-04-29T00:00:00.000Z, Produktgruppe: Digital Ebook Purchas, Verkaufsrang: 2121797, Functional Programming, Software De… Mehr…
ISBN: 9781848822405
This book addresses the most important techniques in improving the correctness of software, including correctness by construction, program proving, static analysis and dynamic, execution-… Mehr…
ISBN: 9781848822405
Software Verification and Analysis - An Integrated Hands-On Approach: ab 53.49 € eBooks > Sachthemen & Ratgeber > Computer & Internet Springer-Verlag GmbH eBook als pdf, Springer-Verlag GmbH
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Software Verification and Analysis: An Integrated, Hands-On Approach (English Edition)
EAN (ISBN-13): 9781848822405
ISBN (ISBN-10): 1848822405
Erscheinungsjahr: 2009
Herausgeber: Springer
18 Seiten
Sprache: eng/Englisch
Buch in der Datenbank seit 2010-10-23T20:24:47+02:00 (Zurich)
Detailseite zuletzt geändert am 2023-07-15T05:29:50+02:00 (Zurich)
ISBN/EAN: 1848822405
ISBN - alternative Schreibweisen:
1-84882-240-5, 978-1-84882-240-5
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: jan laski, william stanley, lask
Titel des Buches: software
Daten vom Verlag:
Autor/in: Janusz Laski
Titel: Software Verification and Analysis - An Integrated, Hands-On Approach
Verlag: Springer; Springer London
234 Seiten
Erscheinungsjahr: 2009-04-29
London; GB
Gedruckt / Hergestellt in Großbritannien.
Sprache: Englisch
84,99 € (DE)
EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Software Engineering; Verstehen; Debugging; Program dependencies; Program proving; Software verification; Static analysis; software; testing; verification; B; Software Engineering/Programming and Operating Systems; Software Engineering; Programming Techniques; Software Engineering; Programming Techniques; Computer Science; Computerprogrammierung und Softwareentwicklung; BB
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.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9781849968294 Software Verification and Analysis: An Integrated, Hands-On Approach (Laski, Janusz)
- 9781849968294 Software Verification and Analysis: An Integrated, Hands-On Approach (Laski, Janusz)
- 9783121131594 Einblicke Biologie - Ausgabe A / Lehrerband-CD mit Kopiervorlagen 7./8. Klasse: BD 2 (Mitarbeit: Bergau, Manfred; Müller, Ina; Ratke, Dorothea)
- 9781848822399 Software Verification and Analysis (Janusz Laski)
< zum Archiv...