Formal Semantics and Proof Techniques for Optimizing VHDL Models
Kothanda Umamageswaran, Sheetanshu L. Pandey, Philip A. Wilsey (auth.)قیمت
تخفیف زماندار
۱۳٬۰۰۰ تومان تخفیف
۱۳٬۰۰۰ تومان ارزانتر از قیمت اصلی
بلافاصله پس از خرید، فایل کتاب روی دستگاه شما آمادهٔ دانلود است.
مشخصات کتاب
- ناشر
- Springer US
- سال انتشار
- ۱۹۹۹
- فرمت
- زبان
- انگلیسی
- حجم فایل
- ۱۲٫۸ مگابایت
- شابک
- 9780792383758، 9781461373315، 9781461551232، 0792383753، 146137331X، 1461551234
کتابهای مشابه
Formal Semantics For Vhdl (the Springer International Series In Engineering And Computer Science)
۳۶٬۰۰۰ تومان
Optimal Information Modeling Techniques
۳۶٬۰۰۰ تومان
Proof, logic, and formalization
۳۶٬۰۰۰ تومان
Proof, Logic, and Formalization
۳۶٬۰۰۰ تومان
Proof, logic, and formalization
۳۶٬۰۰۰ تومان
Proof, logic, and formalization
۳۶٬۰۰۰ تومان
Proof-theoretic Semantics
۳۶٬۰۰۰ تومان
Formal Semantics and Logic
۳۶٬۰۰۰ تومان
VHDL Modelling Guidelines
۳۶٬۰۰۰ تومان
Formal Development of Programs and Proofs
۳۶٬۰۰۰ تومان
Structural Linguistics And Formal Semantics
۳۶٬۰۰۰ تومان
Introduction to semantics : and Formalization of logic
۳۶٬۰۰۰ تومان
قیمت نهایی
۳۶٬۰۰۰ تومان