Formal Approaches to Software Testing Brian Nielsen
53,49 €
Titel: Formal Approaches to Software Testing, Untertitel: 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers, Einband: Taschenbuch, Autor: Brian Nielsen, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 244, Maße: 235x155x14 mm, Gewicht: 376 g, Verkäufer: buch-mimpf, Schlagworte: EDV / Theorie / Software-Entw. / Allgemeines Optimization UML abstract state machines automata correct systems design correctness proofs finite state machines formal methods formal testing model checking software testing systems analysis testing technologies testing tools.
Jetzt bei Ebay:
