Deutsch
Deutschland
Anmelden
Tipp von eurobuch.com
Ähnliche Bücher
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Buch verkaufen
Anbieter, die das Buch mit der ISBN 1848822510 ankaufen:
Suchtools
Buchtipps
Aktuelles
FILTER
- 0 Ergebnisse
Kleinster Preis: 24,95 €, größter Preis: 24,95 €, Mittelwert: 24,95 €
Software Verification and Analysis: An Integrated, Hands-On Approach - Laski, Janusz; Stanley, William
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Laski, Janusz; Stanley, William:
Software Verification and Analysis: An Integrated, Hands-On Approach - Taschenbuch

2009, ISBN: 1848822510, Lieferbar binnen 4-6 Wochen Versandkosten:Versandkostenfrei innerhalb der BRD

ID: 9781848822511

Internationaler Buchtitel. In englischer Sprache. Verlag: SPRINGER VERLAG GMBH, 244 Seiten, L=156mm, B=234mm, H=13mm, Gew.=345gr, [GR: 26330 - TB/Programmiersprachen], [SW: - Computers - Languages / Programming], Kartoniert/Broschiert, Klappentext: This book addresses the most important techniques in improving the correctness of software, including correctness by construction, program proving, static analysis and dynamic, execution-based analysis. Problems and exercises are included. This book addresses the most important techniques in improving the correctness of software, including correctness by construction, program proving, static analysis and dynamic, execution-based analysis. Problems and exercises are included.

Neues Buch DEU
Buchgeier.com
Lieferbar binnen 4-6 Wochen (Besorgungstitel) Versandkosten:Versandkostenfrei innerhalb der BRD
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

Details zum Buch

This book addresses the most important techniques in improving the correctness of software, including correctness by construction, program proving, static analysis and dynamic, execution-based analysis. Problems and exercises are included.

Detailangaben zum Buch - Software Verification and Analysis: An Integrated, Hands-On Approach


EAN (ISBN-13): 9781848822511
ISBN (ISBN-10): 1848822510
Taschenbuch
Erscheinungsjahr: 2009
Herausgeber: SPRINGER VERLAG GMBH
244 Seiten
Gewicht: 0,345 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 17.09.2010 00:23:41
Buch zuletzt gefunden am 17.09.2010 00:23:41
ISBN/EAN: 1848822510

ISBN - alternative Schreibweisen:
1-84882-251-0, 978-1-84882-251-1


< zum Archiv...
Benachbarte Bücher