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 | 73,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 | 113,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
Broschiertes Buch
An Overview Using a Case Study
1st ed.
16. Oktober 2000
Springer / Springer, Berlin / Springer, London
Gebundenes Buch
Focus on Streams, Interfaces, and Refinement
2001
27. April 2001
Springer / Springer New York / Springer, Berlin
978-0-387-95073-0
Broschiertes Buch
Focus on Streams, Interfaces, and Refinement
Softcover reprint of the original 1st ed. 2001
17. Oktober 2012
Springer / Springer New York / Springer, Berlin
978-1-4612-6518-4
Broschiertes Buch
Case Studies Using the B Method
1999.
23. Oktober 1998
Springer / Springer London / Springer, Berlin
10555714,978-1-85233-053-8
Broschiertes Buch
2002
8. Februar 2002
Springer / Springer London / Springer, Berlin
978-1-85233-359-1
Broschiertes Buch
4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings
2005
7. April 2005
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-25559-8
Broschiertes Buch
Proceedings of the Third Safety-critical Systems Symposium
Softcover reprint of the original 1st ed. 1995
10. Februar 1995
Springer / Springer London / Springer, Berlin
978-3-540-19922-9
Ähnlichkeitssuche: Fact®Finder von OMIKRON
