Broschiertes Buch
4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings
2004
24. März 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-21377-2
| eBook, PDF | 40,95 € |
Broschiertes Buch
Semantics, Languages and Applications
Softcover reprint of the original 1st ed. 2018
25. Januar 2019
Springer / Springer International Publishing / Springer, Berlin
978-3-030-06497-6
| Gebundenes Buch | 37,99 € | |
| eBook, PDF | 40,95 € |
Gebundenes Buch
Semantics, Languages and Applications
1st ed. 2018
14. September 2018
Springer / Springer International Publishing / Springer, Berlin
978-3-319-92709-1
Ähnliche Artikel
Broschiertes Buch
5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings
2005
24. November 2005
Springer / Springer Berlin Heidelberg / Springer, Berlin
11589976,978-3-540-30492-0
Broschiertes Buch
7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009, Proceedings
2009
2. Februar 2009
Springer / Springer Berlin Heidelberg / Springer, Berlin
12618477,978-3-642-00254-0
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
2003
18. November 2003
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-20527-2
Broschiertes Buch
6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings
2007
22. Juni 2007
Springer / Springer Berlin Heidelberg / Springer, Berlin
12080328,978-3-540-73209-9
Broschiertes Buch
Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. Proceedings
1994.
12. Oktober 1994
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-58555-8
Broschiertes Buch
Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures
2004
27. Oktober 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
11315810,978-3-540-22942-1
Broschiertes Buch
8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings
2006
24. Oktober 2006
Springer / Springer Berlin Heidelberg / Springer, Berlin
11901433,978-3-540-47460-9
Broschiertes Buch
10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings
2004
24. Juni 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
11019428,978-3-540-22381-8
Broschiertes Buch
International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings
2001
28. Februar 2001
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-41791-0
Broschiertes Buch
18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers
2007
24. April 2007
Springer / Springer Berlin Heidelberg / Springer, Berlin
12049424,978-3-540-71997-7
Ähnlichkeitssuche: Fact®Finder von OMIKRON
