Verified Software. Theories, Tools, and Experiments

Du sparer 0% ift. normalprisen Spar 0%

Paperback
8-11 hverdage
584,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: 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

584,95 kr. + Fragt
~~584,95 kr.~~

Medlemspris

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