Store besparelser
Hurtig levering
Fri fragt over 499,-
Gemte
Log ind
0
Kurv
Kurv
Tools for Practical Software Verification
- International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures
Engelsk
Bogcover for Tools for Practical Software Verification af , 9783642357459
Specifikationer
Sprog:
Engelsk
Sider:
183
ISBN-13:
9783642357459
Indbinding:
Paperback
ISBN-10:
3642357458
Udg. Dato:
30 nov 2012
Størrelse i cm:
23,5 x 15,5
Oplagsdato:
30 nov 2012

Tools for Practical Software Verification

- International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures
Engelsk
Paperback 2012
Format:

Bog beskrivelse
The summer school will focus on several of the most prominent and practical of such tools from different areas of software verification (such as formal proofs, testing and model checking). During the school the participants will not only learn the principles behind the tools, but also get hands-on experience, trying the tools on real programs.
... Vis mere

Forlags Vejl. pris
465,98 kr
Hos Booktok
369 kr
spar 21%
Læg i kurv nu
Sikker betaling
23 - 25 hverdage

Specifikationer
Sprog:
Engelsk
Sider:
183
ISBN-13:
9783642357459
Indbinding:
Paperback
ISBN-10:
3642357458
Udg. Dato:
30 nov 2012
Størrelse i cm:
23,5 x 15,5
Oplagsdato:
30 nov 2012
Finder produkter...
Kategori sammenhænge