Software Specification Methods

Henri Habrias‏ · Marc Frappier‏

مارس 2013 · John Wiley & Sons

كتاب إلكتروني

418

صفحة

لم يتم التحقّق من التقييمات والمراجعات. مزيد من المعلومات

معلومات عن هذا الكتاب الإلكتروني

This title provides a clear overview of the main methods, and has a practical focus that allows the reader to apply their knowledge to real-life situations. The following are just some of the techniques covered: UML, Z, TLA+, SAZ, B, OMT, VHDL, Estelle, SDL and LOTOS.

نبذة عن المؤلف

Henri Habrias, University of Nantes, France

Marc Frappier, University of Sherbrooke, Canada

تقييم هذا الكتاب الإلكتروني

أخبرنا ما هو رأيك.

معلومات القراءة

الهواتف الذكية والأجهزة اللوحية

ينبغي تثبيت تطبيق كتب Google Play لنظام التشغيل Android وiPad/iPhone. يعمل هذا التطبيق على إجراء مزامنة تلقائية مع حسابك ويتيح لك القراءة أثناء الاتصال بالإنترنت أو بلا اتصال بالإنترنت أينما كنت.

أجهزة الكمبيوتر المحمول وأجهزة الكمبيوتر

يمكنك الاستماع إلى الكتب المسموعة التي تم شراؤها على Google Play باستخدام متصفح الويب على جهاز الكمبيوتر.

أجهزة القراءة الإلكترونية والأجهزة الأخرى

للقراءة على أجهزة الحبر الإلكتروني، مثل أجهزة القارئ الإلكتروني Kobo، عليك تنزيل ملف ونقله إلى جهازك. يُرجى اتّباع التعليمات المفصّلة في مركز المساعدة لتتمكّن من نقل الملفات إلى أجهزة القارئ الإلكتروني المتوافقة.

الإبلاغ عن محتوى غير قانوني