بلیان

چه کسانی این کتاب را می‌خوانند

دانشجوعلاقه‌مند یادگیری
کتابخوان حرفه‌ایلذت مطالعه
نویسندهالهام‌گیری

Temporal Logic For Real-time Systems (advanced Software Development Series)

Ostroff J.S.

قیمت نهایی

۴۴٬۰۰۰ تومان۴۹٬۰۰۰ تومان۱۰٪ تخفیف
  • تخفیف زمان‌دار−۵٬۰۰۰ تومان

۵٬۰۰۰ تومان صرفه‌جویی نسبت به قیمت اصلی

نسخه اصلی و اورجینال

بلافاصله پس از خرید، فایل کتاب روی دستگاه شما آمادهٔ دانلود است.

تحویل فوری
پرداخت امن
ضمانت فایل
پشتیبانی

مشخصات کتاب

نویسنده
Ostroff J.S.
ناشر
Research Studies Press : John Wiley & Sons Inc
سال انتشار
۱۹۸۹
فرمت
DJVU
زبان
انگلیسی
حجم فایل
۱٫۷ مگابایت
شابک
9780471924029، 9780863800863، 0471924024، 0863800866

دربارهٔ کتاب

Presents a large number of recent research results previously unavailable in book form. Initially deals with the wee-known computation models, and goes on to special types of circuits, parallel computers, and branching programs. Includes basic theory as well recent research findings. Each chapter includes exercises Providing a framework for modelling, specifying and verifying systems composed of real-time discrete event processes, this text combines a formal framework in computer science with applications in software and control engineering

کتاب‌های مشابه

Temporal Logic for Real-Time Systems [comp sci]

Temporal Logic for Real-Time Systems [comp sci]

۴۹٬۰۰۰ تومان

Advances in Temporal Logic (Applied Logic Series (16))

Advances in Temporal Logic (Applied Logic Series (16))

۴۹٬۰۰۰ تومان

Advances in Temporal Logic (Applied Logic Series (16))

Advances in Temporal Logic (Applied Logic Series (16))

۴۹٬۰۰۰ تومان

Real Time Software For Small Systems

Real Time Software For Small Systems

۴۹٬۰۰۰ تومان

Software Design for Real-time Systems

Software Design for Real-time Systems

۴۹٬۰۰۰ تومان

Real-Time Systems Development

Real-Time Systems Development

۴۹٬۰۰۰ تومان

Real-Time Systems Development

Real-Time Systems Development

۴۹٬۰۰۰ تومان

Real-Time Embedded Systems (Quantitative Software Engineering Series)

Real-Time Embedded Systems (Quantitative Software Engineering Series)

۴۹٬۰۰۰ تومان

Real-Time Embedded Systems (Quantitative Software Engineering Series)

Real-Time Embedded Systems (Quantitative Software Engineering Series)

۴۹٬۰۰۰ تومان

Temporal Logic and State Systems

Temporal Logic and State Systems

۴۹٬۰۰۰ تومان

Temporal logic in information systems

Temporal logic in information systems

۴۹٬۰۰۰ تومان

Real time UML : advances in the UML for real-time systems

Real time UML : advances in the UML for real-time systems

۴۹٬۰۰۰ تومان

قیمت نهایی

۴۴٬۰۰۰ تومان