کتاب های Tom Maibaum (auth.)
![Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings](http://cdn.ketabkoo.com/covers/0/95918-n.jpg)
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.), 2007![FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings](http://cdn.ketabkoo.com/covers/1/118369-n.jpg)
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.), 2008![FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings](http://cdn.ketabkoo.com/covers/1/118370-n.jpg)
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.), 2008![Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings](http://cdn.ketabkoo.com/covers/1/131569-n.jpg)
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.), 2008![Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings](http://cdn.ketabkoo.com/covers/1/131570-n.jpg)
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.), 2008![Handbook of Logic in Computer Science, vol.2: Background. Computational structures](http://cdn.ketabkoo.com/covers/1/142400-n.jpg)
Handbook of Logic in Computer Science, vol.2: Background. Computational structures
Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.), 1992![Handbook of Logic in Computer Science, vol.3: Semantic Structures](http://cdn.ketabkoo.com/covers/1/142401-n.jpg)
Handbook of Logic in Computer Science, vol.3: Semantic Structures
Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.), 1994![Handbook of Logic in Computer Science, vol.4: Semantic Modelling](http://cdn.ketabkoo.com/covers/1/142402-n.jpg)
Handbook of Logic in Computer Science, vol.4: Semantic Modelling
Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.), 1995![Handbook of Logic in Computer Science, vol.5: Logic and Algebraic Methods](http://cdn.ketabkoo.com/covers/1/142403-n.jpg)
Handbook of Logic in Computer Science, vol.5: Logic and Algebraic Methods
Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.), 2001![Handbook of Logic in Computer Science, vol.5: Logic and Algebraic Methods](http://cdn.ketabkoo.com/covers/1/142404-n.jpg)
Handbook of Logic in Computer Science, vol.5: Logic and Algebraic Methods
Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.), 2001![Handbook of Logic in Computer Science: Volume 4: Semantic Modelling](http://cdn.ketabkoo.com/covers/1/142405-n.jpg)
Handbook of Logic in Computer Science: Volume 4: Semantic Modelling
S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum, 1995![The Specification of Computer Programs (International Computer Science Series)](http://cdn.ketabkoo.com/covers/10/1020870-n.jpg)
The Specification of Computer Programs (International Computer Science Series)
Thomas S. E. Maibaum, 1987![Wahrscheinlichkeitsrechnung](http://cdn.ketabkoo.com/covers/14/1459796-n.jpg)