Vor Ort
Merkzettel Warenkorb
  • Produktbild: Tests and Proofs
  • Produktbild: Tests and Proofs

Tests and Proofs Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings

Aus der Reihe Programming and Software Engineering

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

24.06.2009

Abbildungen

X, 169 p.

Herausgeber

Catherine Dubois

Verlag

Springer Berlin

Seitenzahl

169

Maße (L/B/H)

23,5/15,5/1,1 cm

Gewicht

283 g

Auflage

2009

Sprache

Englisch

ISBN

978-3-642-02948-6

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

24.06.2009

Abbildungen

X, 169 p.

Herausgeber

Catherine Dubois

Verlag

Springer Berlin

Seitenzahl

169

Maße (L/B/H)

23,5/15,5/1,1 cm

Gewicht

283 g

Auflage

2009

Sprache

Englisch

ISBN

978-3-642-02948-6

Herstelleradresse

Springer-Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Tests and Proofs
  • Produktbild: Tests and Proofs
  • Security Testing and Formal Methods for High Levels Certification of Smart Cards.- Verification, Testing and Statistics.- Development of a Generic Voter under FoCal.- Combining Satisfiability Solving and Heuristics to Constrained Combinatorial Interaction Testing.- Incorporating Historical Test Case Performance Data and Resource Constraints into Test Case Prioritization.- Complementary Criteria for Testing Temporal Logic Properties.- Could We Have Chosen a Better Loop Invariant or Method Contract?.- Consistency, Independence and Consequences in UML and OCL Models.- Dynamic Symbolic Execution for Testing Distributed Objects.- Combining Model Checking and Testing in a Continuous HW/SW Co-verification Process.- Symbolic Execution Based Model Checking of Open Systems with Unbounded Variables.- Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate.