- 1 resultaten
laagste prijs: € 24,95, hoogste prijs: € 24,95, gemiddelde prijs: € 24,95
1
bestellen
bij
(ongeveer € 24,95)
bestellenGesponsorde link
Laski, Janusz; Stanley, William:

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

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

Lieferbar binnen 4-6 Wochen (Besorgungstitel) Verzendingskosten:Versandkostenfrei innerhalb der BRD Buchgeier.com

1Aangezien sommige platformen geen verzendingsvoorwaarden meedelen en deze kunnen afhangen van het land van levering, de aankoopprijs, het gewicht en de grootte van het artikel, een eventueel lidmaatschap van het platform, een rechtstreekse levering door het platform of via een derde aanbieder (Marktplaats), enz., is het mogelijk dat de door euro-boek.nl meegedeelde verzendingskosten niet overeenstemmen met deze van het aanbiedende platform.

Bibliografische gegevens van het best passende boek

Bijzonderheden over het boek

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.

Gedetalleerde informatie over het boek. - Software Verification and Analysis: An Integrated, Hands-On Approach


EAN (ISBN-13): 9781848822511
ISBN (ISBN-10): 1848822510
pocket book
Verschijningsjaar: 2009
Uitgever: SPRINGER VERLAG GMBH
244 Bladzijden
Gewicht: 0,345 kg
Taal: eng/Englisch

Boek bevindt zich in het datenbestand sinds 2010-09-17T00:23:41+02:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2010-09-17T00:23:41+02:00 (Amsterdam)
ISBN/EAN: 9781848822511

ISBN - alternatieve schrijfwijzen:
1-84882-251-0, 978-1-84882-251-1


< naar Archief...