کتاب های Gert Maibaum
کتاب های نویسنده
صفحه ۱ از ۱ در بین ۱۵ کتاب.
PDF
Wahrscheinlichkeitsrechnung
Gert Maibaum, 1987PDF
Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings
Nazareno Aguirre, Germán Regis, Tom Maibaum (auth.), Jim Davies, Jeremy Gibbons (eds.), 2007PDF
FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings
Shmuel Katz (auth.), Jorge Cuellar, Tom Maibaum, Kaisa Sere (eds.), 2008PDF
FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings
Shmuel Katz (auth.), Jorge Cuellar, Tom Maibaum, Kaisa Sere (eds.), 2008PDF
Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings
Takuya Katayama (auth.), Shaoying Liu, Tom Maibaum, Keijiro Araki (eds.), 2008PDF
Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings
Takuya Katayama (auth.), Shaoying Liu, Tom Maibaum, Keijiro Araki (eds.), 2008DJVU
Handbook of Logic in Computer Science, vol.2: Background. Computational structures
Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.), 1992DJVU
Handbook of Logic in Computer Science, vol.3: Semantic Structures
Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.), 1994DJVU
Handbook of Logic in Computer Science, vol.4: Semantic Modelling
Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.), 1995DJVU
Handbook of Logic in Computer Science, vol.5: Logic and Algebraic Methods
Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.), 2001PDF
Handbook of Logic in Computer Science, vol.5: Logic and Algebraic Methods
Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.), 2001PDF
Handbook of Logic in Computer Science: Volume 4: Semantic Modelling
S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum, 1995
DJVU
