checking
1Model Checking. Верификация параллельных и распределенных программных систем (+ CD-ROM) , Ю. Г. Карпов (2010)
В книге рассказывается о новых результатах в области верификация с помощью метода model checking и приводятся… 516 руб2Model Checking.Верификация параллельных и распределенных программных систем , Ю. Г. Карпов (2009)
В книге рассказывается о новых результатах в области верификации с помощью метода model checking и приводятся… 399 руб электронная книга3Верификация моделей программ. Model Checking , Э. М. Кларк, О. Грамберг, Д. Пелед (2002)
В монографии всемирно известных специалистов в области математической логики и теории вычислений… 236 руб4Verification of Communication Protocols in Web Services. Model-Checking Service Compositions , Zahir Tari
In the near future, wireless sensor networks will become an integral part of our day-to-day life. To solve different sensor networking related issues, researchers have been putting various efforts… 9961.23 руб электронная книга5Real-Time Embedded Systems , Jiacun Wang
Offering comprehensive coverage of the convergence of real-time embedded systems scheduling, resource access control, software design and development, and high-level system modeling, analysis and… 9652.07 руб электронная книга6Air Babylon , Imogen Edwards-Jones (2006)
Heard the one about the airline that has introduced 'corpse cupboards' on new planes to cope with the number of people who die in the air? Heard the story about the First Class air hostess who got… 759 руб7Semantic Web and Model-Driven Engineering , Fernando Parreiras S.
The next enterprise computing era will rely on the synergy between both technologies: semantic web and model-driven software development (MDSD). The semantic web organizes system knowledge in… 6161.84 руб электронная книга8Algorithms and Ordering Heuristics for Distributed Constraint Satisfaction Problems , Mohamed Wahbi
DisCSP (Distributed Constraint Satisfaction Problem) is a general framework for solving distributed problems arising in Distributed Artificial Intelligence. A wide variety of problems in artificial… 6254.98 руб электронная книга9Family and Friends 5: To the Rescue , Mary McIntosh (2014)
Family and Friends readers have been carefully graded to match the syllabus of the "Family and Friends" series and provide extra reading practice. They can either be used in the classroom or to… 629 руб10Reward Elementary: Practice Book with Key , Diana Pye, Simon Greenall (2012)
Reward is a multi-level course designed to take students from their first introduction to English up to a fully proficient use of the language. The cross-cultural contexts of Reward provide… 1449 руб
