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 11th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2019, held in New York City, NY, USA, in July 2019. The 9 full papers presented were carefully revised and selected from 17 submissions.

Vis mere

Sprog:
Engelsk

ISBN:
9783030415990

Forlag:
Springer Nature Switzerland AG

Indbinding:
Paperback

Sideantal:
193

Udgivet:
14. marts 2020

Udgave:
12020

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 11th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2019, held in New York City, NY, USA, in July 2019. The 9 full papers presented were carefully revised and selected from 17 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