KI-Beratung Beta
Vor Ort
Merkzettel Warenkorb

Gutscheinbedingungen

**Gültig bis 03.11.2026 auf fremdsprachige Bücher online auf thalia.at und in der Thalia App. Einzelne Artikel können ausgeschlossen sein. Ausgenommen sind preisgebundene Artikel & eBooks. Pro Einkauf einmal einlösbar. Click & Collect nur bei Onlinevorabzahlung möglich. Keine Barauszahlung. Nicht kombinierbar mit anderen Aktionen und Gutscheinen. Gutschein wird auf max. 500€ Bestellwert angerechnet. Nicht gültig für Geschenkkarten, Versandkosten und Services.
  • Produktbild: Formal Approaches to Software Testing
  • Produktbild: Formal Approaches to Software Testing
Band 3997

Formal Approaches to Software Testing 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers

Aus der Reihe Programming and Software Engineering

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

30.05.2006

Abbildungen

XII, 219 p.

Herausgeber

Wolfgang Grieskamp + weitere

Verlag

Springer Berlin

Seitenzahl

219

Maße (L/B/H)

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

Gewicht

365 g

Auflage

2006

Sprache

Englisch

ISBN

978-3-540-34454-4

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

30.05.2006

Abbildungen

XII, 219 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

219

Maße (L/B/H)

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

Gewicht

365 g

Auflage

2006

Sprache

Englisch

ISBN

978-3-540-34454-4

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

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: Formal Approaches to Software Testing
  • Produktbild: Formal Approaches to Software Testing
  • Proceedings FATES 2005.- Simulated Time for Testing Railway Interlockings with TTCN-3.- Model-Based Testing Through a GUI.- Play to Test.- A Note on an Anomaly in Black-Box Testing.- A Novel Test Coverage Metric for Concurrently-Accessed Software Components.- Adaptive Random Testing by Bisection and Localization.- Interactive Testing with HOL-TestGen.- Conformance Testing Relations for Timed Systems.- Conformance Tests as Checking Experiments for Partial Nondeterministic FSM.- Calculating Probabilities of Real-Time Test Cases.- Time Unbalanced Partial Order.- Testing Systems of Concurrent Black-Boxes—An Automata-Theoretic and Decompositional Approach.- Automated Generation of Positive and Negative Tests for Parsers.- Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms.