{{model.bookDetails.title}}

ebook luisterboek

{{model.bookDetails.subtitle}}

{{model.bookDetails.author}} Serie: {{model.bookDetails.series}} ({{model.bookDetails.seriesNumber}}) | Taal: {{model.bookDetails.language}}

{{getBindingWithHiding()}}

€ {{model.bookDetails.refPriceMaxText}}

€ {{model.bookDetails.priceText}}

€ {{model.bookDetails.mainCopy.regularPriceString}}

€ {{model.bookDetails.priceText}}

Niet leverbaar



Bezorgen: {{model.bookDetails.deliveryMessage}}
Tests and Proofs

{{getBindingWithHiding()}}

€ {{model.bookDetails.priceText}}

Dit artikel kunt u momenteel niet bestellen. Mogelijk is het wel op voorraad bij een van de aangesloten boekhandels. Bekijk de winkelvoorraad hieronder ↓
Dit artikel kunt u momenteel niet bestellen.
Voorraad onbekend.
Direct te downloaden
Uw bibliotheek altijd beschikbaar in uw account
Gemakkelijk synchroniseren met geselecteerde apps
Nieuwe boeken gratis bezorgd vanaf € 17,50 naar NL*
Altijd de laagste prijs voor nieuwe Nederlandstalige boeken
Ruilen of retourneren binnen 14 dagen
Koop lokaal, ook online!

{{groupedMessages.textMessage}}:

{{shopName}}

Bekijk winkelvoorraad
Ik wil advies
Vraag de boekhandel
Prijsvoordeel *
*
{{model.bookDetails.mainCopy.priceDescription}}

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.
{{property.Key}}
*
*
*
{{review.reviewTitle}}
{{review.createdOn | date: 'dd-MM-yyyy' }} door {{review.reviewAlias}}
{{review.reviewText}}
Meer Recensies
Lees minder
Geen recensies beschikbaar.

{{webshopCopy.binding == null || webshopCopy.binding == '' ? 'Prijs' : webshopCopy.binding}} € {{webshopCopy.priceInCentsText}}

Bezorgen:

Prijs € {{usedCopy.priceInCentsText}}

Conditie: {{usedCopy.qualityName}}
{{usedCopy.copyDetailDescription}}
Levertijd:
Leverbaar bij:
{{usedCopy.shop.name}}
Je hebt recent geen producten bekeken
pro-mbooks2 : libris