sfm
روشهای رسمی برای معماری نرمافزار: سومین مدرسه بینالمللی در روشهای رسمی برای طراحی رایانه، ارتباطات و سیستمهای نرمافزار: معماریهای نرمافزار، SFM 2003، برتینورو، ایتالیا، 22-27 سپتامبر 2003. سخنرانیهای پیشرفته
دانلود کتاب Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003. Advanced Lectures (به فارسی: روشهای رسمی برای معماری نرمافزار: سومین مدرسه بینالمللی در روشهای رسمی برای طراحی رایانه، ارتباطات و سیستمهای نرمافزار: معماریهای نرمافزار، SFM 2003، برتینورو، ایتالیا، 22-27 سپتامبر 2003. سخنرانیهای پیشرفته) نوشته شده توسط «David Garlan (auth.) – Marco Bernardo – Paola Inverardi (eds.)» اطلاعات کتاب روشهای رسمی برای معماری نرمافزار: سومین مدرسه بینالمللی در روشهای رسمی برای طراحی رایانه، ارتباطات و سیستمهای نرمافزار: معماریهای نرمافزار، SFM…
روشهای رسمی برای ارزیابی عملکرد: هفتمین مدرسه بینالمللی روشهای رسمی برای طراحی سیستمهای رایانه، ارتباطات و نرمافزار، SFM 2007، برتینورو، ایتالیا، 28 مه تا 2 ژوئن 2007، سخنرانیهای پیشرفته
دانلود کتاب Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures (به فارسی: روشهای رسمی برای ارزیابی عملکرد: هفتمین مدرسه بینالمللی روشهای رسمی برای طراحی سیستمهای رایانه، ارتباطات و نرمافزار، SFM 2007، برتینورو، ایتالیا، 28 مه تا 2 ژوئن 2007، سخنرانیهای پیشرفته) نوشته شده توسط «William J. Stewart (auth.) – Marco Bernardo – Jane Hillston (eds.)» اطلاعات کتاب روشهای رسمی برای ارزیابی عملکرد: هفتمین مدرسه بینالمللی روشهای رسمی برای طراحی سیستمهای رایانه، ارتباطات و نرمافزار، SFM 2007، برتینورو، ایتالیا،…
روشهای رسمی برای محاسبات سیار: پنجمین مدرسه بینالمللی روشهای رسمی برای طراحی سیستمهای رایانه، ارتباطات و نرمافزار، SFM-Moby 2005، برتینورو، ایتالیا، 26-30 آوریل، 2005، سخنرانیهای پیشرفته
دانلود کتاب Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures (به فارسی: روشهای رسمی برای محاسبات سیار: پنجمین مدرسه بینالمللی روشهای رسمی برای طراحی سیستمهای رایانه، ارتباطات و نرمافزار، SFM-Moby 2005، برتینورو، ایتالیا، 26-30 آوریل، 2005، سخنرانیهای پیشرفته) نوشته شده توسط «Ugo Montanari – Marco Pistore (auth.) – Marco Bernardo – Alessandro Bogliolo (eds.)» اطلاعات کتاب روشهای رسمی برای محاسبات سیار: پنجمین مدرسه بینالمللی روشهای رسمی برای طراحی سیستمهای رایانه، ارتباطات و نرمافزار، SFM-Moby 2005، برتینورو، ایتالیا، 26-30 آوریل،…