Broschiertes Buch
International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures
2004
1. September 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
11315995,978-3-540-23068-7
Broschiertes Buch
2010
20. Oktober 2014
Springer / Springer London / Springer, Berlin
978-1-4471-5766-3
Gebundenes Buch | 37,99 € |
Gebundenes Buch
2010 edition
27. November 2009
Springer / Springer London / Springer, Berlin
12239375,978-1-84800-222-7
Ähnliche Artikel
Broschiertes Buch
Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings
2005
13. Dezember 2005
Springer / Springer Berlin Heidelberg / Springer, Berlin
11603009,978-3-540-30946-8
Broschiertes Buch
7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 8-June 2, 2007, Advanced Lectures
2007
18. Mai 2007
Springer, Berlin
12063000
Broschiertes Buch
Third International Workshop, HSCC 2000 Pittsburgh, PA, USA, March 23 - 25, 2000 Proceedings
2000.
13. März 2000
Springer / Springer Berlin Heidelberg / Springer, Berlin
10720042,978-3-540-67259-3
Broschiertes Buch
5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings
2004
17. November 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
11342083,978-3-540-23738-9
Broschiertes Buch
First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers
2004
8. April 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-21671-1
Broschiertes Buch
4th International Symposium, Uppsala, Sweden, September 9 - 13, 1996, Proceedings
1996.
21. August 1996
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-61648-1
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
Broschiertes Buch
11th International Conference, TACAS 2005, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2004, Proceedings
2005
23. März 2005
Springer / Springer Berlin Heidelberg / Springer, Berlin
11408130,978-3-540-25333-4
Broschiertes Buch
4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21 - 23, 1997, Proceedings
1997.
7. Mai 1997
Springer / Springer Berlin Heidelberg / Springer, Berlin
10548741,978-3-540-63010-4
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
Ähnlichkeitssuche: Fact®Finder von OMIKRON