Tools for Practical Software Verification

Du sparer 0% ift. normalprisen Spar 0%

Paperback
8-11 hverdage
523,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: 2. december 2024

På lager

Normalpris

BLACK NOVEMBER
523,95 kr. + Fragt
~~523,95 kr.~~

Medlemspris

477,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