|
 |
|
|
|
1 - 10 von 42
  |
|
 |
Ihre Aktion |
suchen [und] sys inf 610.7
|
|
|
|
|
 |
1. |
Formal Verification of Concurrent Embedded Software
/ Traub, Johannes Frederik Jesper. - Kiel : Institut für Informatik, Christian-Albrechts-Universität zu Kiel, 2016
|
|
|
 |
2. |
Formal verification of concurrent embedded software
/ Traub, Johannes Frederik Jesper. - Norderstedt : BoD - Books on Demand, 2016
|
|
|
|
3. |
Softwaretests mit Python
/ Hubertz, Johannes *1954-*. - Berlin : Springer Vieweg, [2016]
|
|
|
|
4. |
Testmanagement und Softwaretest : theoretische Grundlagen und praktische Umsetzung
/ Witte, Frank. - Wiesbaden : Springer Vieweg, [2016]
|
|
|
|
5. |
Fehlerbaumanalyse in Theorie und Praxis : Grundlagen und Anwendung der Methode
/ Edler, Frank. - Berlin : Springer Vieweg, [2015]
|
|
|
|
6. |
Explore it! : Wie Softwareentwickler und Tester mit explorativem Testen Risiken reduzieren und Fehler aufdecken
/ Hendrickson, Elisabeth. - 1. Aufl. - Heidelberg : dpunkt-Verl., 2014
|
|
|
|
7. |
Cucumber recipes : automate anything with BDD tools and techniques
/ Dees, Ian. - Dallas, Tex. [u.a.] : The Pragmatic Bookshelf, 2013
|
|
|
|
8. |
Software-Test für Embedded Systems : ein Praxishandbuch für Entwickler, Tester und technische Projektleiter
/ Grünfelder, Stephan. - 1. Aufl. - Heidelberg : dpunkt.verl., 2013
|
|
|
|
9. |
Agile Testing : Der agile Weg zur Qualität
/ Klonk, Martin. - München : Hanser Verlag, 2013
|
|
|
|
10. |
Der Integrationstest : von Entwurf und Architektur zur Komponenten- und Systemintegration
/ Winter, Mario *1959-*. - München : Hanser, 2013
|
|
|
|
|
|
|
1 - 10 von 42
|
|
| Wort |
|
Typ |
|
Anzahl |
|---|
|
| inf 610.7 |
|
[SYS] Systematiken |
|
126 |
|
|
|
|
|
|
|
1 - 10 von 42
|
|
|
