Broschiertes Buch
1999.
12. April 1999
Springer / Springer London / Springer, Berlin
978-3-540-76226-3
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
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
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
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
Broschiertes Buch
1999.
17. September 1999
Springer / Springer London / Springer, Berlin
978-1-85233-640-0
Ä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
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
9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings
1995.
23. August 1995
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-60271-2
Broschiertes Buch
17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers
2005
23. März 2005
Springer / Springer Berlin Heidelberg / Springer, Berlin
11407355,978-3-540-25327-3
Broschiertes Buch
An Overview Using a Case Study
1st ed.
16. Oktober 2000
Springer / Springer, Berlin / Springer, London
Broschiertes Buch
1999.
25. März 1999
Springer / Springer Vienna / Springer, Wien
978-3-211-83282-0
Broschiertes Buch
10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings
1997.
20. März 1997
Springer / Springer Berlin Heidelberg / Springer, Berlin
10549454,978-3-540-62717-3
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
Ähnlichkeitssuche: Fact®Finder von OMIKRON
