Broschiertes Buch
5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings
27. Oktober 2003
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-20461-9
| eBook, PDF | 72,95 € |
Broschiertes Buch
7. August 2019
Springer / Springer International Publishing / Springer, Berlin
978-3-030-24834-5
| eBook, PDF | 52,95 € |
eBook, PDF
24. Juli 2019
Springer Nature Switzerland
Ähnliche Artikel
Broschiertes Buch
10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers
18. November 2003
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-20527-2
Broschiertes Buch
12th International SDL Forum, Grimstad, Norway, June 20-23, 2005, Proceedings
9. Juni 2005
Springer / Springer Berlin Heidelberg / Springer, Berlin
11506843,978-3-540-26612-9
Broschiertes Buch
7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009, Proceedings
2. Februar 2009
Springer / Springer Berlin Heidelberg / Springer, Berlin
12618477,978-3-642-00254-0
Broschiertes Buch
5th International Conference, FASE 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings
20. März 2002
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-43353-8
Broschiertes Buch
Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 Proceedings
10. Juli 2002
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-43913-4
Broschiertes Buch
21st Conference, Bangalore, India, December 13-15, 2001, Proceedings
28. November 2001
Springer / Springer Berlin Heidelberg / Springer, Berlin
10845907,978-3-540-43002-5
Broschiertes Buch
25th International Conference, ICATPN 2004, Bologna, Italy, June 21-25, 2004, Proceedings
15. Juni 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
11013112,978-3-540-22236-1
Broschiertes Buch
4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings
19. September 2006
Springer / Springer Berlin Heidelberg / Springer, Berlin
11867340,978-3-540-45026-9
Broschiertes Buch
Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. Proceedings
19. Oktober 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
11339656,978-3-540-23610-8
Broschiertes Buch
Joint International Conferences on Formal Modeling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004, Proceedings
20. September 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
11324249,978-3-540-23167-7
Ähnlichkeitssuche: Fact®Finder von OMIKRON
