کتاب های T. S. E. Maibaum

کتاب های نویسنده

صفحه ۱ از ۱ در بین ۱۵ کتاب.

PDF

Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings

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

PDF

FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings

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

PDF

FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings

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

PDF

Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings

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

PDF

Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings

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

DJVU

Handbook of Logic in Computer Science, vol.2: Background. Computational structures

Handbook of Logic in Computer Science, vol.2: Background. Computational structures

Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.), 1992

DJVU

Handbook of Logic in Computer Science, vol.3: Semantic Structures

Handbook of Logic in Computer Science, vol.3: Semantic Structures

Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.), 1994

DJVU

Handbook of Logic in Computer Science, vol.4: Semantic Modelling

Handbook of Logic in Computer Science, vol.4: Semantic Modelling

Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.), 1995

DJVU

Handbook of Logic in Computer Science, vol.5: Logic and Algebraic Methods

Handbook of Logic in Computer Science, vol.5: Logic and Algebraic Methods

Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.), 2001

PDF

Handbook of Logic in Computer Science, vol.5: Logic and Algebraic Methods

Handbook of Logic in Computer Science, vol.5: Logic and Algebraic Methods

Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.), 2001

PDF

Handbook of Logic in Computer Science: Volume 4: Semantic Modelling

Handbook of Logic in Computer Science: Volume 4: Semantic Modelling

S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum, 1995

PDF

Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002. Revised Papers

Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002. Revised Papers

Tom Maibaum (auth.), 2003

PDF

Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002. Revised Papers

Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002. Revised Papers

Tom Maibaum (auth.), 2003

DJVU

The Specification of Computer Programs (International Computer Science Series)

The Specification of Computer Programs (International Computer Science Series)

Thomas S. E. Maibaum, 1987

PDF

Wahrscheinlichkeitsrechnung

Wahrscheinlichkeitsrechnung

Gert Maibaum, 1987

دانلود کتاب | کتاب ها | نرم افزارهای مفید

کتابکو چگونه کار می کند | درخواست حذف اثر | راهنمای کسب امتیاز | سیاست حفظ حریم خصوصی | سیاست ضد هرزنامه

کپی رایت ۲۰۱۴ تا ۲۰۲۵, ketabkoo.com (کتابکو) | ارتباط با ما

تمامی كالاها و خدمات این سایت، حسب مورد، دارای مجوزهای لازم از مراجع مربوطه می باشند و فعالیت‌های این سایت تابع قوانین و مقررات جمهوری اسلامی ایران است.