![Formal Approaches to Software Testing Formal Approaches to Software Testing](https://bilder.buecher.de/produkte/22/22404/22404901m.jpg)
Broschiertes Buch
4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers
2005
7. März 2005
Springer / Springer Berlin Heidelberg / Springer, Berlin
11400752,978-3-540-25109-5
eBook, PDF | 40,95 € |
![Model-Driven Testing Model-Driven Testing](https://bilder.buecher.de/produkte/32/32024/32024112m.jpg)
Broschiertes Buch
Using the UML Testing Profile
Softcover reprint of hardcover 1st ed. 2008
15. Oktober 2010
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-642-09159-9
Gebundenes Buch | 53,99 € | |
eBook, PDF | 53,95 € |
![Model-Driven Testing Model-Driven Testing](https://bilder.buecher.de/produkte/22/22768/22768624m.jpg)
Gebundenes Buch
Using the UML Testing Profile
2008
22. Oktober 2007
Springer / Springer Berlin Heidelberg / Springer, Berlin
11757399,978-3-540-72562-6
![Model-Driven Testing (eBook, PDF) Model-Driven Testing (eBook, PDF)](https://bilder.buecher.de/produkte/37/37367/37367360m.jpg)
Ähnliche Artikel
![Formal Approaches to Software Testing Formal Approaches to Software Testing](https://bilder.buecher.de/produkte/20/20946/20946689m.jpg)
Broschiertes Buch
5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers
2006
30. Mai 2006
Springer, Berlin
![Formal Methods and Testing Formal Methods and Testing](https://bilder.buecher.de/produkte/23/23602/23602608m.jpg)
Broschiertes Buch
An Outcome of the FORTEST Network. Revised Selected Papers
2008
8. April 2008
Springer / Springer Berlin Heidelberg / Springer, Berlin
12249992,978-3-540-78916-1
![Formal Approaches to Software Testing Formal Approaches to Software Testing](https://bilder.buecher.de/produkte/14/14756/14756442m.jpg)
Broschiertes Buch
Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003
2004
28. Januar 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-20894-5
![Runtime Verification Runtime Verification](https://bilder.buecher.de/produkte/23/23412/23412214m.jpg)
Broschiertes Buch
7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers
2007
12. Dezember 2007
Springer / Springer Berlin Heidelberg / Springer, Berlin
12208111,978-3-540-77394-8
![Fundamental Approaches to Software Engineering Fundamental Approaches to Software Engineering](https://bilder.buecher.de/produkte/21/21201/21201698m.jpg)
Broschiertes Buch
8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings
2005
24. März 2005
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-25420-1
![Abstract State Machines 2003: Advances in Theory and Practice Abstract State Machines 2003: Advances in Theory and Practice](https://bilder.buecher.de/produkte/23/23142/23142898m.jpg)
Broschiertes Buch
10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings
2003
21. Februar 2003
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-00624-4
![Hardware and Software, Verification and Testing Hardware and Software, Verification and Testing](https://bilder.buecher.de/produkte/22/22572/22572305m.jpg)
Broschiertes Buch
Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised Selected Papers
2007
9. Februar 2007
Springer / Springer Berlin Heidelberg / Springer, Berlin
12019380,978-3-540-70888-9
![Lectures on Formal Methods and Performance Analysis Lectures on Formal Methods and Performance Analysis](https://bilder.buecher.de/produkte/10/10117/10117401m.jpg)
Broschiertes Buch
First EEF/Euro Summer School on Trends in Computer Science Berg en Dal, The Netherlands, July 3-7, 2000. Revised Lectures
2001
29. August 2001
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-42479-6
![Tools and Algorithms for the Construction and Analysis of Systems Tools and Algorithms for the Construction and Analysis of Systems](https://bilder.buecher.de/produkte/23/23391/23391207m.jpg)
Broschiertes Buch
9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings
2003
14. März 2003
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-00898-9
![FM 2005: Formal Methods FM 2005: Formal Methods](https://bilder.buecher.de/produkte/23/23391/23391703m.jpg)
Broschiertes Buch
International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings
2005
4. Juli 2005
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-27882-5
Ähnlichkeitssuche: Fact®Finder von OMIKRON