- 1 Results
Lowest price: € 24.95, highest price: € 24.95, average price: € 24.95
1
Order
at
(aprox. € 24.95)
OrderSponsored link
Laski, Janusz; Stanley, William:

Software Verification and Analysis: An Integrated, Hands-On Approach - Paperback

2009, ISBN: 1848822510, Lieferbar binnen 4-6 Wochen Shipping costs: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 -… More...

Lieferbar binnen 4-6 Wochen (Besorgungstitel) Shipping costs:Versandkostenfrei innerhalb der BRD Buchgeier.com
close (x)
1As some platforms do not transmit shipping conditions to us and these may depend on the country of delivery, the purchase price, the weight and size of the item, a possible membership of the platform, a direct delivery by the platform or via a third-party provider (Marketplace), etc., it is possible that the shipping costs indicated by euro-book.co.uk / euro-book.co.uk do not correspond to those of the offering platform.

Bibliographic data of the best matching book

Details of the book
Author:
Title:
ISBN:

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.

Details of the book - Software Verification and Analysis: An Integrated, Hands-On Approach


EAN (ISBN-13): 9781848822511
ISBN (ISBN-10): 1848822510
Paperback
Publishing year: 2009
Publisher: SPRINGER VERLAG GMBH
244 Pages
Weight: 0,345 kg
Language: eng/Englisch

Book in our database since 2010-09-16T23:23:41+01:00 (London)
Detail page last modified on 2010-09-16T23:23:41+01:00 (London)
ISBN/EAN: 1848822510

ISBN - alternate spelling:
1-84882-251-0, 978-1-84882-251-1

< to archive...