Compiler Specification And Verification (lecture Notes In Computer Science)
Wolfgang Polak (eds.)قیمت
تخفیف زماندار
۱۳٬۰۰۰ تومان تخفیف
۱۳٬۰۰۰ تومان ارزانتر از قیمت اصلی
بلافاصله پس از خرید، فایل کتاب روی دستگاه شما آمادهٔ دانلود است.
مشخصات کتاب
- نویسنده
- Wolfgang Polak (eds.)
- سال انتشار
- ۱۹۸۱
- فرمت
- DJVU
- زبان
- انگلیسی
- حجم فایل
- ۲٫۵ مگابایت
کتابهای مشابه
Compiler Specification And Verification (lecture Notes In Computer Science)
۴۹٬۰۰۰ تومان
Software Verification (Lecture Notes in Computer Science)
۴۹٬۰۰۰ تومان
Specification and Compositional Verification of Real-Time Systems (Lecture Notes in Computer Science (558))
۴۹٬۰۰۰ تومان
Specification and Compositional Verification of Real-Time Systems (Lecture Notes in Computer Science (558))
۴۹٬۰۰۰ تومان
Modular Compiler Verification: A Refinement-algebraic Approach Advocating Stepwise Abstraction (lecture Notes In Computer Science)
۴۹٬۰۰۰ تومان
Compiling Natural Semantics (Lecture Notes in Computer Science, 1549)
۴۹٬۰۰۰ تومان
Compiling Natural Semantics (Lecture Notes in Computer Science, 1549)
۴۹٬۰۰۰ تومان
Lectures on Proof Verification and Approximation Algorithms (Lecture Notes in Computer Science (1367))
۴۹٬۰۰۰ تومان
Hybrid Systems III: Verification and Control (Lecture Notes in Computer Science)
۴۹٬۰۰۰ تومان
Hybrid Systems III: Verification and Control (Lecture Notes in Computer Science)
۴۹٬۰۰۰ تومان
A Concurrent Pascal Compiler for Minicomputers (Lecture Notes in Computer Science, 50)
۴۹٬۰۰۰ تومان
A Concurrent Pascal Compiler for Minicomputers (Lecture Notes in Computer Science, 50)
۴۹٬۰۰۰ تومان
قیمت نهایی
۳۶٬۰۰۰ تومان