Formal Methods for Software Architectures

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 1st الإصدار تمت الكتابة بواسطة Marco Bernardo; ‎Paola Inverardi وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Formal Methods for Software Architectures هي 9783540398004, 3540398007 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783540200833, 3540200835. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.

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 1st الإصدار تمت الكتابة بواسطة Marco Bernardo; ‎Paola Inverardi وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Formal Methods for Software Architectures هي 9783540398004, 3540398007 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783540200833, 3540200835. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.