Køb for 499 kr mere for gratis levering til pakkeshop
499 kr
Pakkeshop
599 kr
Hjemmelevering
Gemte
Log ind
0
Kurv
Kurv
Verified Software. Theories, Tools, and Experiments
- 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers
Engelsk
Bogcover for Verified Software. Theories, Tools, and Experiments af , 9783319488684
Specifikationer
Sprog:
Engelsk
Sider:
199
ISBN-13:
9783319488684
Indbinding:
Paperback
ISBN-10:
3319488686
Udg. Dato:
8 nov 2016
Størrelse i cm:
23,5 x 15,5
Oplagsdato:
8 nov 2016

Verified Software. Theories, Tools, and Experiments

- 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers
Engelsk
Paperback 2016
Format:

Bog beskrivelse
This volume constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2016, held in July 2016 in Toronto, ON, Canada. 
The 8 full papers together with 4 short papers and 5 invited papers presented were carefully revised and selected 21 submissions. 
The goal of the VSTTE conference is to advance the
state of the art through the interaction of theory development, tool evolution, and experimental validation.
... Vis mere

Forlags Vejl. pris
419,37 kr
Hos Booktok
409 kr
spar 2%
Læg i kurv nu
Sikker betaling
90 dages retur
23 - 25 hverdage

Specifikationer
Sprog:
Engelsk
Sider:
199
ISBN-13:
9783319488684
Indbinding:
Paperback
ISBN-10:
3319488686
Udg. Dato:
8 nov 2016
Størrelse i cm:
23,5 x 15,5
Oplagsdato:
8 nov 2016
Finder produkter...
Kategori sammenhænge