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
| eBook, PDF | 40,95 € |
Broschiertes Buch
2010
20. Oktober 2014
Springer / Springer London / Springer, Berlin
978-1-4471-5766-3
| Gebundenes Buch | 37,99 € | |
| eBook, PDF | 40,95 € |
Gebundenes Buch
2010 edition
27. November 2009
Springer / Springer London / Springer, Berlin
12239375,978-1-84800-222-7
eBook, PDF
14. März 2010
Springer London
Ä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
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
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
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 Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings
2007
9. Oktober 2007
Springer / Springer Berlin Heidelberg / Springer, Berlin
12173525,978-3-540-75595-1
Broschiertes Buch
A Formal Approach to Real-Time Systems
Softcover reprint of hardcover 1st ed. 2004
9. Dezember 2010
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-642-07404-2
Gebundenes Buch
A Formal Approach to Real-Time Systems
2004
4. Dezember 2003
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-40823-9
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
12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers
2008
19. Mai 2008
Springer / Springer Berlin Heidelberg / Springer, Berlin
12266005,978-3-540-79706-7
Broschiertes Buch
Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays
2007
6. September 2007
Springer, Berlin
12164615
Ähnlichkeitssuche: Fact®Finder von OMIKRON
