- Afhalen na 1 uur in een winkel met voorraad
- Gratis thuislevering in België vanaf € 30
- Ruim aanbod met 7 miljoen producten
- Afhalen na 1 uur in een winkel met voorraad
- Gratis thuislevering in België vanaf € 30
- Ruim aanbod met 7 miljoen producten
Tests and Proofs
11th International Conference, Tap 2017, Held as Part of Staf 2017, Marburg, Germany, July 19-20, 2017, Proceedings
Paperback | Engels | Lecture Notes in Computer Science | Programming and Software Engineering | nr. 10375
€ 52,95
+ 105 punten
Omschrijving
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.
Specificaties
Betrokkenen
- Uitgeverij:
Inhoud
- Aantal bladzijden:
- 163
- Taal:
- Engels
- Reeks:
- Reeksnummer:
- nr. 10375
Eigenschappen
- Productcode (EAN):
- 9783319614663
- Verschijningsdatum:
- 18/06/2017
- Uitvoering:
- Paperback
- Bestandsformaat:
- Trade paperback (VS)
- Afmetingen:
- 156 mm x 234 mm
- Gewicht:
- 254 g
Alleen bij Standaard Boekhandel
+ 105 punten op je klantenkaart van Standaard Boekhandel
MUST-HAVES
AANGERADEN
MOEDERDAG ACTIE
Beoordelingen
We publiceren alleen reviews die voldoen aan de voorwaarden voor reviews. Bekijk onze voorwaarden voor reviews.