Tools for Practical Software Verification

Du sparer 0% ift. normalprisen Spar 0%

Paperback
8-11 hverdage
535,95 kr.

Bag om Tools for Practical Software Verification

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

Sprog:
Engelsk

ISBN:
9783642357459

Forlag:
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Indbinding:
Paperback

Sideantal:
183

Udgivet:
30. november 2012

Udgave:
2012

Størrelse:
155x235x15 mm.

Vægt:
454 g.

Leveringstid: 8-11 hverdage.
Forventet levering: 15. januar 2025

På lager

Forlænget returret til d. 31. januar 2025

Kan ikke leveres inden jul.
Køb nu og print et gavebevis

Normalpris

535,95 kr. + Fragt
~~535,95 kr.~~

Medlemspris

486,95 kr.

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Beskrivelse af Tools for Practical Software Verification

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.

Brugerbedømmelser af Tools for Practical Software Verification

Andre købte også..

Find lignende bøger

Bogen Tools for Practical Software Verification findes i følgende kategorier:

Business og læring > Computer og IT

Tools for Practical Software Verification - Bog

Beskrivelse af Tools for Practical Software Verification

Brugerbedømmelser af Tools for Practical Software Verification

Gør som tusindvis af andre bogelskere