Modal and Temporal Properties of Processes (Texts in Computer Science) – 2001st Edition ( 2001 )

by Colin P Stirling , Language: English

In recent years, model checking has become an essential technique for the formal verification of systems. With a clarity of presentation and its many illuminating examples, this book makes this technical material easy to grasp. It is perfectly suited for an advanced undergraduate or graduate class in formal verification and will serve as a valuable resource to practitioners of formal methods.

این کتاب در گوگل

Google

این کتاب در آمازون

Amazon

برای خرید نسخه الکترونیکی این کتاب میتوانید مبلغ دلخواه خود را در کادر پایین وارد کرده و پس از واریز آن لینک دانلود را دریافت کنید.

جمع آوری این مجموعه بزرگ و به روز کردن آن متحمل هزینه های سنگینی است، لطفا ما را در این مسیر یاری فرمایید.

حداقل مبلغ : 3,000 تومان

قیمت واقعی کتاب در آمازون : 134.00 دلار

توضیحات

دانلود کتاب زبان اصلی Ebook download (PDF) – ISBN : 0387987177

دانلود کتاب زبان اصلی Modal and Temporal Properties of Processes (Texts in Computer Science)

نسخه اورجینال کتاب

چنانچه این نسخه از کتاب را بصورت اورجینال نیاز دارید میتوانید از طریق لینک ثبت سفارش که در زیر آمده، سفارش خود را برای ما ارسال کنید تا بعد از هماهنگی کتاب را خریداری کرده و برای شما ارسال کنیم
ثبت سفارش کتاب اورجینال

نسخه چاپی کتاب

چنانچه این نسخه از کتاب را بصورت چاپی نیاز دارید میتوانید از طریق لینک ثبت سفارش که در زیر آمده، سفارش خود را برای ما ارسال کنید تا بعد از هماهنگی کتاب را برای شما ارسال کنیم
ثبت سفارش نسخه چاپی

تعداد صفحه : 191 pages

زبان : English

ناشر و تاریخ نشر : Springer; 2001 edition – July 6, 2001

شابک ده : 0387987177

شابک سیزده : 9780387987170

قیمت آمازون ( صرفا جهت اطلاع ) : $134.00

سال نشر : ( 2001 )

حجم فایل : 1.73 MB

نوع فایل : DJVU

دیدگاه ها

هیچ دیدگاهی ثبت نشده است

اولین دیدگاه برای این کالا را شما ثبت کنید

*