Broschiertes Buch
1999.
12. April 1999
Springer / Springer London / Springer, Berlin
978-3-540-76226-3
| eBook, PDF | 40,95 € |
Broschiertes Buch
First International Conference of B and Z Users York, UK, August 29 - September 2, 2000 Proceedings
2000.
16. August 2000
Springer / Springer Berlin Heidelberg / Springer, Berlin
10722395,978-3-540-67944-8
| eBook, PDF | 40,95 € |
Broschiertes Buch
2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings
2002
16. Januar 2002
Springer / Springer Berlin Heidelberg / Springer, Berlin
10846165,978-3-540-43166-4
| eBook, PDF | 40,95 € |
Broschiertes Buch
Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings
2003
20. Mai 2003
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-40253-4
| eBook, PDF | 72,95 € |
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
| eBook, PDF | 40,95 € |
eBook, PDF
6. Dezember 2012
Springer London
Broschiertes Buch
1999.
17. September 1999
Springer / Springer London / Springer, Berlin
978-1-85233-640-0
| eBook, PDF | 112,95 € |
Ähnliche Artikel
Broschiertes Buch
A Guide to Practical Formal Development
1996.
14. Mai 1996
Springer / Springer London / Springer, Berlin
978-3-540-76033-7
Gebundenes Buch
1993.
31. August 1993
Springer / Springer US / Springer, Berlin
978-0-7923-9386-3
Broschiertes Buch
The COSY Approach
29. Dezember 2011
Springer, Berlin
Broschiertes Buch
Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28-29 June 1999
1999.
25. Juni 1999
Springer / Springer London / Springer, Berlin
978-1-85233-107-8
Broschiertes Buch
1999.
25. März 1999
Springer / Springer Vienna / Springer, Wien
978-3-211-83282-0
Broschiertes Buch
Proceedings of the Sixth Safety-critical Systems Symposium, Birmingham 1998
1998.
13. Februar 1998
Springer, Berlin
Broschiertes Buch
Twelfth Annual CSR Workshop (Bruges, 12-15 September 1995)
1997.
27. September 1996
Springer / Springer London / Springer, Berlin
978-3-540-76034-4
Broschiertes Buch
Techniques and Applications
2000.
27. Juli 1999
Springer / Springer London / Springer, Berlin
978-1-85233-002-6
Ähnlichkeitssuche: Fact®Finder von OMIKRON
