Formal Approaches to Software Testing Carsten Weise
53,49 €
Titel: Formal Approaches to Software Testing, Untertitel: 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers, Einband: Taschenbuch, Autor: Carsten Weise, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 236, Maße: 235x155x13 mm, Gewicht: 365 g, Verkäufer: buch-mimpf, Schlagworte: EDV / Theorie / Software-Entw. / Allgemeines EDV / Theorie / Software-Entw. / Testmethoden Interactive Testing Markov chains Resolution abstract state machines automata constraint resolution correct systems design correctness proofs finite state machines formal methods formal testing model checking real-time testing theorem proving.
Jetzt bei Ebay:
