| |
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
|
نوع المصدر |
كتاب/ مرجع
|
بيانات التأليف |
Bernardo, Marco (ed.)
Inverardi, Paola (ed.)
|
بيانات المسؤولية |
Marco Bernardo, Paola Inverardi (eds.)
|
بيانات النشر |
New York: Springer, 2003
|
الوصف المادي |
vi, 285 p.
|
بيانات السلسة |
Lecture notes in computer science; 2804
|
بيانات المؤتمر |
International School on Formal Methods for the Design of Computer, Communication and Software Systems (3rd: 2003: Bertinoro, Italy)
|
ISBN |
3-540-20083-5
|
رأس الموضوع/ الواصفات |
Computer
(12522)
|
|
|
رقم الاستدعاء |
005.3
INT
استعرض الرفوف
الأجنبية
or
العربية
|
|
| |
|
إبحث في المصادر الإلكترونية |
● |
|
● |
مواضيع ذات صلة |
|
|
|