𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Вполне стуктурированные системы помеченных переходов

✍ Scribed by Кузьмин Е.В., Соколов В.А.

Book ID
127424084
Publisher
ФИЗМАТЛИТ
Year
2005
Tongue
Russian
Weight
1 MB
Category
Library
City
Москва
ISBN-13
9785922105989

No coin nor oath required. For personal study only.

✦ Synopsis

В монографии рассматривается класс вполне структурированных систем помеченных переходов, представляющих собой формализм для моделирования и анализа корректности параллельных и распределённых систем, таких как вычислительные машины и комплексы с параллельной и распределенной архитектурой, параллельные программы, протоколы передачи данных, модели технологических и бизнес-процессов, при этом основное внимание уделяется разрешимости классических проблем ограниченности, достижимости, покрытия, неизбежности, поддержки управляющего состояния, останова, эквивалентности и других важных семантических и темпоральных свойств.Книга предназначена для научных работников, преподавателей, аспирантов и студентов, интересующихся формальными методами моделирования, анализа и верификации параллельных и распределенных систем.

✦ Subjects

Параллельные вычисления и ВС

📜 SIMILAR VOLUMES

Обреченные погибнуть. Судьба советских в
Обреченные погибнуть. Судьба советских военнопленных-евреев во Второй мировой войне: Воспоминания и документы
📂 Standards 🌐 Russian ⚖ 747 KB

Плен — всегда трагедия, но во время Второй мировой была одна категория пленных, подлежавшая безоговорочному уничтожению по национальному признаку: пленные евреи поголовно обрекались на смерть. И только немногие из них чудом смогли уцелеть, скрыв свое еврейство и взяв себе вымышленные или чужие имена

Обреченные погибнуть. Судьба советских в
Обреченные погибнуть. Судьба советских военнопленных-евреев во Второй мировой войне: Воспоминания и документы
📂 Standards 🌐 Russian ⚖ 3 MB

Плен — всегда трагедия, но во время Второй мировой была одна категория пленных, подлежавшая безоговорочному уничтожению по национальному признаку: пленные евреи поголовно обрекались на смерть. И только немногие из них чудом смогли уцелеть, скрыв свое еврейство и взяв себе вымышленные или чужие имена

Обреченные погибнуть. Судьба советских в
Обреченные погибнуть. Судьба советских военнопленных-евреев во Второй мировой войне: Воспоминания и документы: воспоминания и документы
📂 Standards 🌐 Russian ⚖ 432 KB

Плен – всегда трагедия, но во время Второй мировой была одна категория пленных, подлежавшая безоговорочному уничтожению по национальному признаку: пленные евреи поголовно обрекались на смерть. И только немногие из них чудом смогли уцелеть, скрыв свое еврейство и взяв себе вымышленные или чужие имена

Вселенная. Руководство по эксплуатации,
Вселенная. Руководство по эксплуатации, или Как выжить среди черных дыр, парадоксов времени и квантовой неопределенности
📂 Standards 📅 2009 🏛 Архивариус; АСТ 🌐 Russian ⚖ 726 KB

Книга «Вселенная. Руководство по эксплуатации» — идеальный путеводитель по самым важным — и, конечно, самым упоительным — вопросам современной физики: «Возможны ли путешествия во времени?», «Существуют ли параллельные вселенные?», «Если вселенная расширяется, то куда она расширяется?», «Что будет, е

Вакуумные и криогенные системы термоядер
Вакуумные и криогенные системы термоядерных установок и реакторов: Учеб. пособие для студентов вузов, обучающихся по специальности 073600 - ''Техн. физика термоядер. реакторов и плазмен. установок'' направления 651100 - ''Техн. физика''
✍ Комов Александр Тимофеевич 📂 Library 📅 2003 🏛 Изд-во МЭИ 🌐 Russian ⚖ 2 MB

Приведены физические основы получения безмасляногo вакуума, описаны методы получения низких температур, представлена методика расчета и проектирования вакуумных систем и криогeнных вакуумных насосов, описаны вакуумные и криогенные системы термоядерных установок. Для студентов, обучающихся по специал