Formal Specification Using Z. (Computer Science)
David Lightfoot (auth.)قیمت
تخفیف زماندار
۱۳٬۰۰۰ تومان تخفیف
۱۳٬۰۰۰ تومان ارزانتر از قیمت اصلی
بلافاصله پس از خرید، فایل کتاب روی دستگاه شما آمادهٔ دانلود است.
مشخصات کتاب
- نویسنده
- David Lightfoot (auth.)
- سال انتشار
- ۱۹۹۱
- فرمت
- زبان
- انگلیسی
- حجم فایل
- ۸٫۴ مگابایت
کتابهای مشابه
Formal Specification and Documentation Using Z
۴۹٬۰۰۰ تومان
Formal specification and documentation using Z : a case study approach
۴۹٬۰۰۰ تومان
Larch: Languages and Tools for Formal Specification (Monographs in Computer Science)
۴۹٬۰۰۰ تومان
Formal Specification And Design (cambridge Tracts In Theoretical Computer Science)
۴۹٬۰۰۰ تومان
Larch: Languages and Tools for Formal Specification (Monographs in Computer Science)
۴۹٬۰۰۰ تومان
Using Z: Specification, Refinement, and Proof (Prentice-hall International Series in Computer Science)
۴۹٬۰۰۰ تومان
Using Z: Specification, Refinement, and Proof (Prentice-hall International Series in Computer Science)
۴۹٬۰۰۰ تومان
Logic and Specification: Extending Vdm-Sl for Advanced Formal Specification (Computer Science : Research and Practice)
۴۹٬۰۰۰ تومان
The Object-Z Specification Language (Advances in Formal Methods (1))
۴۹٬۰۰۰ تومان
Understanding Z: A Specification Language and its Formal Semantics (Cambridge Tracts in Theoretical Computer Science, Series Number 3)
۴۹٬۰۰۰ تومان
The Object-Z Specification Language (Advances in Formal Methods (1))
۴۹٬۰۰۰ تومان
The Object-Z Specification Language (Advances in Formal Methods (1))
۴۹٬۰۰۰ تومان
قیمت نهایی
۳۶٬۰۰۰ تومان