Studiebog

Verified Software. Theories, Tools, and Experiments

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

Forfatter: info mangler

Bog

Format
Bog, paperback
Engelsk

Indgår i serie
Programming and Software Engineering

Normalpris: kr. 419,95

Medlemspris: kr. 399,95 For at købe bogen til medlemspris skal du have et medlemskab med Shopping-fordele. Du kan prøve medlemskabet gratis i 7 dage. Medlemskabet fornyes automatisk og kan altid opsiges.

Leveringstid: 9-12 Hverdage (Sendes fra fjernlager)
Forventet levering: 15-10-2024
Kan pakkes ind og sendes som gave
Split betalingen op med

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 thestate of the art through the interaction of theory development, tool evolution, and experimental validation.

Læs hele beskrivelsen

Detaljer

SprogEngelsk
Sidetal199
Udgivelsesdato08-11-2016
ISBN139783319488684
Forlag Springer International Publishing AG
FormatPaperback

Størrelse og vægt

10 cm

15,5 cm

23,5 cm

Verified Software. Theories, Tools, and Experiments

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

Findes i disse kategorier...

Se andre, der handler om...