Ihr Marktplatz für antiquarische und neue Bücher | Login | Neu registrieren Registrieren
Buchfreund als App
Formal Methods and Testing  - An Outcome of the FORTEST Network. Revised Selected Papers
Beispielbild für diese ISBN

Formal Methods and Testing

An Outcome of the FORTEST Network. Revised Selected Papers

2008 - Erschienen 2008.

Neubindung, Buchrücken fehlerhaft geklebt, Auflage 2008 4355884/12
Mehr anzeigen

modeling, model-based testing, abstract state machines, formal testing, software testing, Scala, controllability, Markov decision process, correct systems design, fault detection, formal methods, correctness proofs, algebraic specifications, finite state machines, automated testing,

Produktart:
📚 Bücher
Autor(en):
Hierons, Robert M., Jonathan P. Bowen und Mark Harman:
Anbieter:
Buchpark GmbH
Bestell-Nr.:
435588412
Katalog:
Varia
ISBN | EAN:
3540789162 | 9783540789161
Stichworte:
modeling, model-based, testing, abstract, state, machines, formal, software, Scala, controllability, Markov, decision, process, correct, systems, design, fault, detection, methods, correctness, proofs, algebraic, specifications, finite, automated
Zahlungsarten:
Vorauskasse, PayPal
Gebraucht, sehr gut 31,90 EUR 28,71 EUR Kostenloser Versand
Sonderaktion: 10% Rabatt bis 05.11.2026
Formal Methods and Testing  - An Outcome of the FORTEST Network. Revised Selected Papers
Formal Methods and Testing
Gebraucht, sehr gut
31,90 EUR 28,71 EUR
Kostenloser Versand
This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network - formed as a network established under UK EPSRC funding that investigated the relationships between formal (and semi-formal) methods and software testing - now being a subject group of two BCS Special Interest Groups: Formal Aspects of Computing Science (BCS FACS) and Special Interest Group in Software Testing (BCS SIGIST).

Each of the 12 chapters in this book describes a way in which the study of formal methods and software testing can be combined in a manner that brings the benefits of formal methods (e.g., precision, clarity, provability) with the advantages of testing (e.g., scalability, generality, applicability).
Weitere/ähnliche Angebote für diesen Artikel Formal Methods and Testing - An Outcome of the FORTEST Network. Revised Select…

Ähnliche Bücher, die interessant für Sie sein könnten Autor: Jonathan P. Bowen Robert M. Hierons, Mark Harman Verlag: Springer Berlin,

Sparen Sie Versandkosten bei Buchpark GmbH durch den Kauf weiterer Artikel