Broschiertes Buch
Model-Oriented Proof Methods and Their Comparison
1. November 2008
Cambridge University Press
Gebundenes Buch
Introduction to Compositional and Non-Compositional Methods
10. August 2011
Cambridge University Press
Gebundenes Buch
IFIP TC2 / WG2.2, 2.3 International Conference on Programming Concepts and Methods (PROCOMET ¿98) 8¿12 June 1998, Shelter Island, New York, USA
1998
31. Mai 1998
Springer / Springer US / Springer, Berlin
978-0-412-83760-9
Broschiertes Buch
Models, Formalisms, Correctness. REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989. Proceedings
1990.
25. April 1990
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-52559-2
Broschiertes Buch
4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures
2006
10. August 2006
Springer / Springer Berlin Heidelberg / Springer, Berlin
11804192,978-3-540-36749-9
Broschiertes Buch
First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures
2003
9. Oktober 2003
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-20303-2
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
Broschiertes Buch
Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures
2005
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-29131-2
Ähnlichkeitssuche: Fact®Finder von OMIKRON
