(495)
105 99 23



оплата и доставка

оплата и доставка char.ru



Книги интернет магазинКниги
Рефераты Скачать бесплатноРефераты

В море книг

Управление проектами и эксплуатация ИС

скачать тексты
Управление проектами и эксплуатация ИС
Наименование:

Model Checking. Верификация параллельных и распределенных программных систем (+ CD-ROM)

Формат:      Страниц 560      Размер 24x17x3 см      Вес 0,642 кг
     твердый переплет
Автор:
Карпов Ю.Г.    
Издательство:
БХВ-Петербург    
Год:2010
Цена:
579 руб
нет в наличии
найти еще ...
Для студентов вузов, программистов и исследователей в области информатики. В книге рассказывается о новых результатах в области верификации с помощью метода model checking и приводятся примеры приложений этого метода в самых разных областях. Рассматриваются проблема верификации, темпоральные логики, алгоритмы model checking для CTL и LTL, структуры Крипке как модели реагирующих систем, спецификация свойств реагирующих систем формулами темпоральной логики, бинарные решающие диаграммы, символьная верификация, количественный анализ систем и системы реального времени, а также применение фундаментальных идей алгоритма model checking в различных приложениях. На прилагаемом компакт-диске находятся: инструкция по установке системы верификации Spin, методическое пособие по этой системе и описание курсовой работы по верификации нетривиальной системы логического управления с несколькими вариантами заданий.
Бумага для принтера "Svetocopy", формат А3, 500 листов.
Офисная бумага для принтера и техники SvetoCopy А3 относится к категории качества C и является самой популярной в офисном классе,
616 руб
Раздел: Бумага для оргтехники
Набор детской посуды Rosenberg "Собачка" (4 предмета).
В набор детской посуды "Собачка" входят четыре предмета: - глубокая тарелка, - бульонная чаша (470 мл), - кружка (250 мл), -
319 руб
Раздел: Наборы для кормления
Конструктор "Веселый городок" (56 деталей).
Для детей: 2-6 лет. Материал: дерево. Состав: 56 деталей. Упаковка: картонная коробка в п/э пленке. Размер: упаковки: 29х25х6
669 руб
Раздел: Деревянные конструкторы

Информационная система предприятия
PA www.su .com Глобальные сети Solaris предназначена для моделирования интегрированных сетей данные/голос на базе магистралей Т1 и ТЗ OP E www.oo e .com Локальные и глобальные сети, клиент-серверные архитектуры Wi dows, U ix анализирует воздействие приложений клиент - сервер и новых технологий на работу сети; позволяет импортировать и экспортировать данные о топологии и сетевом трафике; включает следующие продукты: e biz (проектирование и оптимизация вычислительной системы), Modeler (моделирование и анализ производительности сетей, компьютерных систем, приложений и распределенных систем), I Guru (оценка производительности коммуникационных сетей и распределенных систем) Op imal Perfoma ce www.oo imal.com Локальные и глобальные сети Wi dows имеет возможности быстрого оценочного и точного моделирования, помогает оптимизировать распределенное программное обеспечение


Model Checking Abstract State Machines Книга по Требованию
Production costs can be decreased greatly if errors can be detected in an early phase of design.
3234 руб
Using Model Checking to Generate Test Cases for Critical Systems. Testing for Safety Книга по Требованию Wei D.
To show the feasibility of our method, we developed a tool kit and applied our method to a sample specification.
1894 руб
Использование Microsoft Windows Driver Model (+ CD-ROM) Для профессионалов Питер Они У.
В этой книге, написанной опытнейшим экспертом в области разработки драйверов Уолтером Они совместно с командой разработчиков ядра Windows, вы найдете все необходимое для понимания процесса написания драйверов: подробные практические примеры, иллюстрации, советы и построчный анализ примеров кода.
159 руб
Canterville Ghost & the Model Millionaire Pearson Oscar W.
5 руб
Vogue Model: The Faces of Fashion Little, Brown and Company Robin D.
2727 руб
What Makes Couples Therapy Work?. Common Factors Across the Practices of Prominent Couples Therapy Model Developers Книга по Требованию Sean D.
What is less clear, however, is why couples therapy works.
2747 руб
A Model of Political Judgment. Political Information Processing, Candidate Evaluation, and Cooperation in the Prisoner's Dilemma Книга по Требованию Sung-youn K.
How do they make a choice in a strategic environment?
2385 руб
Surge Irrigation Field Performance Evaluation Model. An Empirical Approach Книга по Требованию Sajid M.
At the end of this book, a list of references has been given that would helps the readers for further reading.
2385 руб
Model of a Yipunu-French Dictionary Книга по Требованию Ludwine M.M.e.M.
In the present work, the auhor designs a model for a bilingual school dictionary involving Yipunu, one of the Gabonese languages, and French This model is based on metalexicographical principles, applicable to the Gabonese context.
1981 руб
RtI How to Guide. Step 1-Implementation and Evaluation of a Response to Intervention Model in an Urban K-6 Elementary School Книга по Требованию Jessica Y.
Changes in general education and special education mandates have supported this philosophy.
1981 руб
Building a GUI Test Automation Framework Using the Data Model. Introduction,Related Work,The GUI Modeler,Test Case Generation, Selection Книга по Требованию Izzat A.
Users can be involved and are required to test some aspects of the user interface validation. GUI? s code has some characteristics that distinguish it from the rest of the project code.
2747 руб
Staphylococcal Infection Delays Thrombus Resolution. A Mouse Model Книга по Требованию
Chronic thromboembolic pulmonary hypertension (CTEPH) results from single or recurrent pulmonary thromboemboli arising from sites of venous thrombosis.
1981 руб
A time series model for paddy production in Sri Lanka FITTING A TIME SERIES MODEL. Книга по Требованию Vigneswaran T.
The ACF and PACF graphs were used to find the order of the models.
1981 руб
Physiological Articulatory Model for Investigating Speech Production. Modeling and Control Книга по Требованию Qiang F.
It is because both of them are difficult to be observed directly.
2385 руб
The Impact of Early Attachment on Youth Violence. Utilizing The Identity Development Model for Treatment of Adolescent Attachment Disturbance Книга по Требованию Rebecca S.
It was inspired by the tragic events at Columbine High School in 1999.
1997 руб
Analytical Physics Based AlGaN/GaN HFET RF Large Signal Model. Nonlinearity Analysis with the Impact of Nonlinear Source Resistance and RF Breakdown Книга по Требованию Yueying L.
In particular, it has been demonstrated that a nonlinear source resistance is generated in these devices due to the onset of space-charge limited (SCL) transport in the gate-source region.
1997 руб
A Polytomous Nonlinear Mixed Model for Item Analysis. Item Calibration Using SAS PROC NLMIXED and PARSCALE Книга по Требованию Seon-Hi S.
Using simulations, the accuracy of SAS PROC NLMIXED in estimating the latent trait and the item parameters for the PNLMM was examined through eight common indicators.
1997 руб
IS Model for Purchasing Function. Information System Model Development for Purchasing Function in buyer Supplier Environment Книга по Требованию Anniwa A.
This book is especially beneficial to those who wish to model, design, develop or implement such an information system and It also sheds a light for those wanting to know the hassle that the subject matter engages.
1997 руб
Laenderrisiko, Ratingagenturen. Eine Analyse des Country Risk Assessment Model der OECD Книга по Требованию Oliver G.
Ziel ist es sowohl die inhaltliche Ausgestaltung, als auch die methodischen Grundlagen dieses Laenderrisikomodells zu beschreiben.
2769 руб
Evaluating Adult Distributed Training Programs. A Comparison Research Model Книга по Требованию Bradley B.
This research model will be useful to education researchers and others in the education and educational technology fields.
2403 руб

Молочный гриб можно использовать для похудения, восстановления микрофлоры, очищения организмаМолочный гриб можно использовать для похудения, восстановления микрофлоры, очищения организма

(495) 105 99 23

Сайт char.ru это сборник рефератов и книг