Formal Methods for Software Engineering : Languages, Methods, Application Domains
Markus Roggenbach; Antonio Cerone; Bernd-Holger Schlingloff; Gerardo Schneider; Siraj Ahmed Shaikhقیمت
تخفیف زماندار
۱۳٬۰۰۰ تومان تخفیف
۱۳٬۰۰۰ تومان ارزانتر از قیمت اصلی
بلافاصله پس از خرید، فایل کتاب روی دستگاه شما آمادهٔ دانلود است.
مشخصات کتاب
- نویسنده
- Markus Roggenbach; Antonio Cerone; Bernd-Holger Schlingloff; Gerardo Schneider; Siraj Ahmed Shaikh
- سال انتشار
- ۲۰۲۲
- فرمت
- EPUB
- زبان
- انگلیسی
- حجم فایل
- ۳۳٫۶ مگابایت
- شابک
- 9783030387990، 9783030388003، 3030387992، 303038800X
کتابهای مشابه
Formal Methods for Software Engineering : Languages, Methods, Application Domains
۴۹٬۰۰۰ تومان
Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)
۴۹٬۰۰۰ تومان
Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)
۴۹٬۰۰۰ تومان
Domain Modeling-Based Software Engineering : A Formal Approach
۴۹٬۰۰۰ تومان
Software engineering mathematics : formal methods demystified
۴۹٬۰۰۰ تومان
GRAPH TRANSFORMATION FOR SOFTWARE ENGINEERS : with applications to model-based development and ... domain-specific language engineering
۴۹٬۰۰۰ تومان
GRAPH TRANSFORMATION FOR SOFTWARE ENGINEERS : with applications to model-based development and ... domain-specific language engineering
۴۹٬۰۰۰ تومان
Software Language Engineering : Creating Domain-Specific Languages Using Metamodels
۴۹٬۰۰۰ تومان
Software Language Engineering : Creating Domain-Specific Languages Using Metamodels
۴۹٬۰۰۰ تومان
Formal Engineering for Industrial Software Development : Using the SOFL Method
۴۹٬۰۰۰ تومان
Formal Methods in Databases and Software Engineering: Proceedings of the Workshop on Formal Methods in Databases and Software Engineering, Montreal, Canada, 15–16 May 1992 (Workshops in Computing)
۴۹٬۰۰۰ تومان
Formal Methods in Systems Engineering
۴۹٬۰۰۰ تومان
قیمت نهایی
۳۶٬۰۰۰ تومان