Verified Software. Theories, Tools, and Experiments

Du sparer 0% ift. normalprisen Spar 0%

Paperback
8-11 hverdage
571,95 kr.

Bag om Verified Software. Theories, Tools, and Experiments

This volume constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2017, held in Heidelberg, Germany, in July 2017. The 12 full papers presented were carefully revised and selected from 20 submissions.

Vis mere

Sprog:
Engelsk

ISBN:
9783319723075

Forlag:
Springer International Publishing AG

Indbinding:
Paperback

Sideantal:
211

Udgivet:
15. december 2017

Udgave:
12017

Størrelse:
155x235x0 mm.

Vægt:
454 g.

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

På lager

Normalpris

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

Medlemspris

521,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 9th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2017, held in Heidelberg, Germany, in July 2017. The 12 full papers presented were carefully revised and selected from 20 submissions.

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