Formal Approaches to Software Testing Andreas Ulrich
53,49 €
Titel: Formal Approaches to Software Testing, Untertitel: Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003, Einband: Taschenbuch, Autor: Andreas Ulrich, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 280, Maße: 235x155x16 mm, Gewicht: 429 g, Verkäufer: buch-mimpf, Schlagworte: EDV / Theorie / Software-Entw. / Allgemeines JUnit Unified Modeling Language (UML) algorithm algorithms correct sytems design efficient testing formal methods genetic algorithms real-time systems analysis testing testing technologies testing tools theorem proving timed automata.
Jetzt bei Ebay:
