Køb for 499 kr mere for gratis levering til pakkeshop
499 kr
Pakkeshop
599 kr
Hjemmelevering
Gemte
Log ind
0
Kurv
Kurv
Tests and Proofs
- 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19–20, 2017, Proceedings
Engelsk
Bogcover for Tests and Proofs af , 9783319614663
Specifikationer
Sprog:
Engelsk
Sider:
163
ISBN-13:
9783319614663
Indbinding:
Paperback
ISBN-10:
3319614665
Kategori:
Udg. Dato:
18 jun 2017
Størrelse i cm:
23,5 x 15,5
Oplagsdato:
18 jun 2017

Tests and Proofs

- 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19–20, 2017, Proceedings
Engelsk
Paperback 2017
Format:

Bog beskrivelse
This book constitutes the refereed proceedings of the 11th International Conference on Tests and Proofs, TAP 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017.

The 9 full papers and 1 invited paper presented in this volume were carefully reviewed and selected from 16 submissions. The TAP conference promotes research in verification and formal methods that targets the interplay of proofs and testing: the advancement of techniques of each kind and their combination, with the ultimate goal of improving software and system dependability.

... Vis mere

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

Specifikationer
Sprog:
Engelsk
Sider:
163
ISBN-13:
9783319614663
Indbinding:
Paperback
ISBN-10:
3319614665
Kategori:
Udg. Dato:
18 jun 2017
Størrelse i cm:
23,5 x 15,5
Oplagsdato:
18 jun 2017
Finder produkter...
Kategori sammenhænge