- 1 Ergebnisse
Kleinster Preis: € 24,95, größter Preis: € 24,95, Mittelwert: € 24,95
1
Bestellen
bei
(ca. € 24,95)
Bestellengesponserter Link
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

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

Lieferbar binnen 4-6 Wochen (Besorgungstitel) Versandkosten:Versandkostenfrei innerhalb der BRD Buchgeier.com
zuklappen (X)
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
Autor:
Titel:
ISBN-Nummer:

1848822510


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 2010-09-17T00:23:41+02:00 (Berlin)
Detailseite zuletzt geändert am 2010-09-17T00:23:41+02:00 (Berlin)
ISBN/EAN: 1848822510

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

< zum Archiv...