Onderwerpen
Tests And Proofs
Second International Conference, Tap 2008, Prato, Italy, April 9-11, 2008, Proceedings
| Prijs: | € 74,50 |
| Levertijd: | 4 tot 6 werkdagen |
| Bindwijze: | Boek |
| Genre: | Computertechniek |
| Boekenliefde.nl: |
Tests And Proofs op boekenliefde.nl
|
 |
Voeg toe aan verlanglijst |
 |
Mail naar vriend(in) /collega |
 |
Schrijf een recensie |
 
| |
Beschrijving
This Volume Contains The Research Papers, Invited Papers, And Abstracts Of - Torials Presented At The Second International Conference On Tests And Proofs (tap 2008) Held April 9-11, 2008 In Prato, Italy.
Details
| Titel: | Tests And Proofs |
|---|---|
| auteur: | Beckert, Bernhard (EDT)/ Hahnle, Reiner (EDT) |
| Mediatype: | Boek |
| Taal: | Engels |
| Aantal pagina's: | 193 |
| Uitgever: | Springer-verlag Berlin And Heidelberg Gmbh & Co. Kg |
| Plaats van publicatie: | 04 |
| NUR: | Computertechniek |
| Afmetingen: | 235 x 155 |
| Gewicht: | 327 gr |
| ISBN/ISBN13: | 9783540791232 |
| Intern nummer: | 11025111 |
Inhoudsopgave
Invited Talks.- The First Thirty Years: Experience with Software Verification.- Vacuity in Testing.- What Can Fault Prediction Do for YOU?.- Research Papers.- Equivalence Checking for a Finite Higher Order ?-Calculus.- Finding Counter Examples in Induction Proofs.- A Logic-Based Approach to Combinatorial Testing with Constraints.- Functional Testing in the Focal Environment.- Bounded Relational Analysis of Free Data Types.- Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model.- Pex-White Box Test Generation for .NET.- Non-termination Checking for Imperative Programs.- Tutorials.- Parameterized Unit Testing with Pex.- Integrating Verification and Testing of Object-Oriented Software.
Winkelvoorraad
Dit product is op dit moment niet op voorraad in een van onze vestigingen.