Verified Software: Theories, Tools and Experiments

Du sparer 0% ift. normalprisen Spar 0%

Paperback
8-11 hverdage
809,95 kr.

Bag om Verified Software: Theories, Tools and Experiments

This volume constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2014, held in July 2014 at the Vienna Summer of Logic in Vienna, Austria, as an associated event of CAV 2014, the International Conference on Computer-Aided Verification.

Vis mere

Sprog:
Engelsk

ISBN:
9783319121536

Forlag:
Springer International Publishing AG

Indbinding:
Paperback

Sideantal:
287

Udgivet:
28. oktober 2014

Udgave:
2014

Størrelse:
155x235x16 mm.

Vægt:
4569 g.

Leveringstid: 8-11 hverdage.
Forventet levering: 2. december 2024

På lager

Normalpris

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

Medlemspris

759,95 kr.

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

Beskrivelse af Verified Software: Theories, Tools and Experiments

This volume constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2014, held in July 2014 at the Vienna Summer of Logic in Vienna, Austria, as an associated event of CAV 2014, the International Conference on Computer-Aided Verification.

Brugerbedømmelser af Verified Software: Theories, Tools and Experiments

Andre købte også..

Find lignende bøger

Bogen Verified Software: Theories, Tools and Experiments findes i følgende kategorier:

Business og læring > Computer og IT

Verified Software: Theories, Tools and Experiments - Bog

Beskrivelse af Verified Software: Theories, Tools and Experiments

Brugerbedømmelser af Verified Software: Theories, Tools and Experiments

Gør som tusindvis af andre bogelskere