Deze website maakt gebruik van cookies. Klik hier voor meer informatie.X sluit
Uitgebreid zoeken
Boek

Tests And Proofs

Second International Conference, Tap 2008, Prato, Italy, April 9-11, 2008, Proceedings

Tests And Proofs - Beckert, Bernhard (EDT)/ Hahnle, Reiner (EDT) - ISBN: 9783540791232
Prijs: € 74,50
Levertijd: 4 tot 6 werkdagen
Bindwijze: Boek
Genre: Computertechniek
Boekenliefde.nl:
Tests And Proofs op boekenliefde.nl
Add to cart

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.