Windows 7 » Разное » CONCUR 2010 - Concurrency Theory (Lecture Notes in Computer Science) by Paul Gastin

CONCUR 2010 - Concurrency Theory (Lecture Notes in Computer Science) by Paul Gastin

Автор: Bo0mB0om » 10 сентября 2016
CONCUR 2010 - Concurrency Theory (Lecture Notes in Computer Science) by Paul Gastin

CONCUR 2010 - Concurrency Theory (Lecture Notes in Computer Science) by Paul Gastin
English | 18 Aug. 2010 | ISBN: 3642153747 | 612 Pages | PDF | 6 MB
The topics include: - Basic models of concurrency such as abstract machines, domain theoretic models, game theoretic models, process algebras, and Petri nets. - Logics for concurrency such as modal logics, probabilistic and stochastic logics, temporal logics, and resource logics.


- Models of specialized systems such as biology-inspired systems, circuits, hybrid systems, mobile and collaborative systems, multi-core processors, probabilistic systems, real-time systems, service-oriented computing, and synchronous systems. - Verification and analysis techniques for concurrent systems such as abstract interpretation, atomicity checking, model checking, race detection, pre-order and equivalence checking and run-time verification.

CONCUR 2010 - Concurrency Theory (Lecture Notes in Computer Science) by Paul Gastin

CONCUR 2010 - Concurrency Theory (Lecture Notes in Computer Science) by Paul Gastin

DOWNLOAD
(Buy premium account for maximum speed and resuming ability)





Перед тем как скачать CONCUR 2010 - Concurrency Theory (Lecture Notes in Computer Science) by Paul Gastin бесплатно, без смс, регистрации, на халяву, через торрент, рекомендуем прочитать отзывыо CONCUR 2010 - Concurrency Theory (Lecture Notes in Computer Science) by Paul Gastin.

Другие новости по теме: