Formal Specification : Techniques and Applications
Nimal Nissanke MSc, PhD (auth.)قیمت
تخفیف زماندار
۱۳٬۰۰۰ تومان تخفیف
۱۳٬۰۰۰ تومان ارزانتر از قیمت اصلی
بلافاصله پس از خرید، فایل کتاب روی دستگاه شما آمادهٔ دانلود است.
مشخصات کتاب
- سال انتشار
- ۱۹۹۹
- فرمت
- زبان
- انگلیسی
- حجم فایل
- ۷٫۸ مگابایت
- شابک
- 9781447107910، 9781852330026، 1447107918، 1852330023
کتابهای مشابه
MT6575 GPIO Formal Application Specification
۴۹٬۰۰۰ تومان
MT6575 GPIO Formal Application Specification
۴۹٬۰۰۰ تومان
MT6517 GPIO Formal Application Specification
۴۹٬۰۰۰ تومان
MT6276 E2 GPIO Formal Application Specification
۴۹٬۰۰۰ تومان
Formal Specification and Verification
۴۹٬۰۰۰ تومان
Formal specification and software development
۴۹٬۰۰۰ تومان
Formal Specification and Documentation Using Z
۴۹٬۰۰۰ تومان
Formal Specification Techniques For Engineering Modular C Programs (international Series In Software Engineering)
۴۹٬۰۰۰ تومان
Formal specification level : concepts, methods, and algorithms
۴۹٬۰۰۰ تومان
An introduction to discrete mathematics and formal system specification
۴۹٬۰۰۰ تومان
Formal Specification Using Z. (Computer Science)
۴۹٬۰۰۰ تومان
Scalable Techniques for Formal Verification
۴۹٬۰۰۰ تومان
قیمت نهایی
۳۶٬۰۰۰ تومان