دانلود کتاب Верификация моделей программ: Model Checking

عنوان فارسی :

دانلود کتاب تایید مدل برنامه: بررسی مدل

عنوان انگلیسی : Verification of program models: Model Checking

Верификация моделей программ: Model Checking

زبان : Russian

موضوع : Computers->Programming

نویسندگان : Э. М. Кларк О. Грамберг Д. Пелед

ناشر : Изд-во Моск. центра непрерыв. мат. образования

ISBN (شابک) : 5-94057-054-2

تعداد صفحات : 416\416

سال نشر : 2002     ویرایش :

حجم : 5 MB       فرمت : djvu

قیمت : 8000 تومان





کتاب های پزشکی

دانلود کتاب Atlas of Aesthetic Breast Surgery

دانلود کتاب Michael Jackson: The Magic, The Madness, The Whole Story, 1958-2009

دانلود کتاب Röntgenanatomie. Radiological Anatomy. Anatomie Radiologique: Prufungsfragen Fur Die Facharztprufung / Multiple Choice Questions /Qcm

دانلود کتاب Obstetric and Gynecologic Dermatology, Third Edition

دانلود کتاب Drugs for Pregnant and Lactating Women, Second Edition: Expert Consult - Online and Print

کتاب های کامپیوتر

دانلود کتاب IMAGE SEGMENTATION

دانلود کتاب Smalltalk, Objects and Design

دانلود کتاب Practical C programming

دانلود کتاب Speech Science Primer: Physiology, Acoustics, and Perception of Speech , Sixth Edition

دانلود کتاب HTML5 Games Development by Example: Beginner's Guide

کتاب های ریاضی

دانلود کتاب Industrial Control Systems: Advances and Applications, First Edition (Repost)

دانلود کتاب Signal Analysis: Wavelets, Filter Banks, Time-Frequency Transforms and Applications

دانلود کتاب Advances in Boundary Element Techniques

دانلود کتاب Mathematics and the Laws of Nature: Developing the Language of Science (The History of Mathematics)

دانلود کتاب The Laplace Transformation (Lectures on applied mathematics volume 1)

کتاب های تکنولوژی

دانلود کتاب Handbook of Combustion, Volume 1 (Fundamentals and Safety)

دانلود کتاب Protein Phosphatase Protocols

دانلود کتاب Fundamentals of Superconducting Nanoelectronics

دانلود کتاب Beds: outstanding projects from one of America's best craftsmen : with plans and complete instructions for building 9 classic beds

دانلود کتاب Micro Fuel Cells - Principles and Applications

کتاب های مذهبی

دانلود کتاب Jesus and the Spirit: A Study of the Religious and Charismatic Experience of Jesus and the First Christians as Reflected in the New Testamen: A Study ... Christians as Reflected in the New Testament

دانلود کتاب Old Testament Theology: 1 (Old Testament Library)

دانلود کتاب The Jacobite Rebellions 1689-1745 (Men-at-Arms)

دانلود کتاب Renewal Theology: Salvation, the Holy Spirit, and Christian Living: 002

دانلود کتاب Slavery, Sabbath, War and Women: Case Issues in Biblical Interpretation (Conrad Grebel Lecture)

کتاب های فیزیولوژی

دانلود کتاب The Religious and Romantic Origins of Psychoanalysis: Individuation and Integration in Post-Freudian Theory

دانلود کتاب Mathematics for Teachers: An Interactive Approach for Grade K-8 , Fourth Edition

دانلود کتاب Kompendium Praktische Psychiatrie

دانلود کتاب Auditory Neuroscience: Making Sense of Sound

دانلود کتاب Basic Statistics for the Behavioral Sciences, 6th Edition

کتاب های تاریخی

دانلود کتاب World War I: People, Politics, and Power

دانلود کتاب Thompson Submachune Gun

دانلود کتاب The A-1 Skyraider in Vietnam: The Spad’s Last War

دانلود کتاب The Confederate Army 1861-65 (6) Missouri, Kentucky, Maryland

دانلود کتاب Pfalz D.IIIA (Windsock Datafile 21)

کتاب های زیست شناسی

دانلود کتاب Tiny Yarn Animals: Amigurumi Friends to Make and Enjoy

دانلود کتاب Genetic Transformation

دانلود کتاب F-16I Sufa in IAF Service

دانلود کتاب Edible And Medicinal Plants

دانلود کتاب Elite Cultures: Anthropological Perspectives

کتاب های اقتصاد

دانلود کتاب Making an Impact Online

دانلود کتاب Marketing Planning: Strategy, Environment and Context

دانلود کتاب The Managing Cashflow Pocketbook

دانلود کتاب Financial Accounting

دانلود کتاب Harvard Business Review - June 2009

کتاب های آموزشی

دانلود کتاب Teach Yourself Visually Sock Knitting

دانلود کتاب Smiley's Workshop for AVR

دانلود کتاب Ester Formation and Hydrolysis and Related Reactions

دانلود کتاب Occupying Architecture

دانلود کتاب Proceedings 10th international congress of world equine veterinary association /Сборник материалов 10-го всемирного конского конгресса

کتاب های حقوق

دانلود کتاب Human Rights And Capitalism: A Multidisciplinary Perspective on Globalisation (Corporations, Globalisation and the Law Series)

دانلود کتاب White Collar Crime: An Opportunity Perspective

دانلود کتاب The Essential Law Dictionary (Sphinx Dictionaries)

دانلود کتاب The Right Not to be Criminalized (Applied Legal Philosophy)

دانلود کتاب Inside Gitmo: The True Story Behind the Myths of Guantanamo Bay

کتاب های علوم انسانی

دانلود کتاب The Art of Caricaturing

دانلود کتاب Political Communication Bundle: An Introduction to Political Communication (Communication and Society)

دانلود کتاب The Democracy Deficit: Taming Globalization Through Law Reform

دانلود کتاب The paradox of choice: why more is less

دانلود کتاب A Concise Introduction to Logic (Ninth Edition)