Specification and analysis of concurrent systems : The COSY approach
2378

Specification and analysis of concurrent systems : The COSY approach

Авторы:
Janicki Ryszard
Lauer Peter E.
Год:
1992
isbn:
3-540-55204-9
Язык:
Английский
Страниц:
480
Заглавие серии:
EATCS monographs on theoretical computer science ; Vol. 26
Описание:
Janicki R., Lauer P. Specification and analysis of concurrent systems : The COSY approach / Ryszard Janicki, Peter E. Lauer. - Berlin etc. : Springer-Verl., 1992. - XII, 480 с. : ил. ; 24 см. - (EATCS monographs on theoretical computer science ; Vol. 26). - Библиогр.: с. 407-422
Рейтинг по отзывам:
5
Рубрики:
Вычислительные системы параллельные
Примечания:
Библиогр.: с. 407-422
Дата создания:
2019-10-08 22:15:28
Соц. сети:
Modeling concurrent systems in NuSMV
Idea of synchronous and asynchronous composition, mutual exclusion and another example of parallel programs.
Model Checking
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
Specification and analysis of concurrent systems : The COSY approach
Она написана в стихах?
Да.
Нет.
Возможно.
Не знаю
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Precise and Automated Symbolic Analysis of Concurrent Programs
Software is large, complex, and error-prone. The trend of switching to parallel and distributed computing platforms (e.g. multi-cores, cloud computing) makes ...
Microsoft Research
Demystifying Parallel and Distributed Deep Learning: An In-Depth Concurrency Analysis
In this video from 2018 Swiss HPC Conference, Torsten Hoefler from (ETH) Zürich presents: Demystifying Parallel and Distributed Deep Learning: An In-Depth ...
InsideHPC Report
How we program multicores - Joe Armstrong
When we write a program, we just want it to run faster when we run it on a multicore. If I have a 10 core computer I just want it to run 10 times faster, if I have a ...
RISE SICS
Janicki Ryszard
Zarys teorii wektorów współprogramów
Название и адрес
Режим работы
Телефон
Отдел библиотечных ресурсов, КП Центр здоровья и коммуникаций
Одесская область, Одесса, Суворовский район
Академика Воробьёва, 5
Расположение на карте
Пн: 09:00-17:00
Вт: 09:00-17:00
Ср: 09:00-17:00
Чт: 09:00-17:00
Пт: 09:00-17:00
 +380 (48) 720-15-27
Показать номер
Название и адрес
Режим работы
Телефон
Дитяча бібліотека №15
Киев город со специальным статусом, Київ, Голосіївський район, Корчувате
Набережно-Корчуватська, 92
Расположение на карте
зимний период: пн-сб 10:00-18:00; санитарный день: последний рабочий день месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
 +380 (44) 259-37-55 +380 (44) 252-70-15
Показать номер
Название и адрес
Режим работы
Телефон
Бібліотека ім. В. Чапаєва для дітей
Киев город со специальным статусом, Київ, Солом'янський район, Солом'янка
Повітрофлотський проспект, 12
Расположение на карте
санитарный день: последний рабочий день месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
 +380 (44) 248-02-47
Показать номер
Название и адрес
Режим работы
Телефон
Городская библиотека
Калужская область, Калуга городской округ, Калуга, Октябрьский округ
Болотникова, 15
Расположение на карте
июнь-август: пн-пт 11:00-19:00, сб-вс выходной; санитарный день: последняя пт месяца
Пн: 11:00-19:00
Вт: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 11:00-19:00
Вс: 11:00-19:00
 +7 (4842) 73-57-16
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека №23 им. М. Горького
Москва, Москва, Тимирязевский район
Тимирязевская, 17 к1
Расположение на карте
санитарный день: последний день месяца
Вт: 12:00-22:00
Ср: 12:00-22:00
Чт: 12:00-22:00
Пт: 12:00-22:00
Сб: 12:00-22:00
Вс: 12:00-20:00
 +7 (499) 798-44-76 +7 (495) 611-00-94
Показать номер
Название и адрес
Режим работы
Телефон
Центральная библиотека им. С. Есенина
Московская область, Люберцы городской округ, Люберцы
Волковская, 5а
Расположение на карте
санитарный день: последний чт месяца
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 11:00-18:00
Название и адрес
Режим работы
Телефон
Библиотека им. М.И. Цветаевой
Нижегородская область, Нижний Новгород городской округ, Нижний Новгород, Ленинский район
Ленина проспект, 58
Расположение на карте
санитарный день: последний чт месяца
Пн: 11:00-18:00
Вт: 11:00-18:00
Ср: 11:00-18:00
Чт: 11:00-18:00
Пт: 11:00-18:00
Сб: 11:00-18:00
 +7 (831) 250-40-16
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека им. П.А. Блинова
Республика Удмуртия, Ижевск городской округ, Ижевск, Индустриальный район, Буммаш
Воткинское шоссе, 50
Расположение на карте
зимний период: пн-чт 10:00-19:00; вс 10:00-18:00; пт выходной
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
 +7 (3412) 44-06-65
Показать номер
Название и адрес
Режим работы
Телефон
Детская библиотека им. С.В. Михалкова
Ставропольский край, Пятигорск городской округ, Пятигорск, Центр
Козлова, 1
Расположение на карте
санитарный день: последний вторник месяца
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Вс: 11:00-19:00
Название и адрес
Режим работы
Телефон
МБУК Азовская городская Детская библиотека имени А. Чехова
Ростовская область, Азов городской округ, Азов
Московская, 31
Расположение на карте
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 10:00-18:00
 +7 (86342) 4-46-30
Показать номер
DTU Ørsted Lecture with Professor Steven Eppinger
The Architecture of Complex System Development Addressing many of our critical global challenges and creating today's technical products and large systems ...
DTUdk Lec-69: Introduction to Transaction Concurrency in HINDI | Database Management System
Full course of DBMS https://www.youtube.com/playlist?list=PLxCzCOWd7aiFAN6I8CuViBuCdJgiOkT2Y Other subject playlist Link: ...
Gate Smashers 6. Multicore Programming
MIT 6.172 Performance Engineering of Software Systems, Fall 2018 Instructor: Julian Shun View the complete course: https://ocw.mit.edu/6-172F18 YouTube ...
MIT OpenCourseWare Mod-01 Lec-39 PetriNets-I
Performance Evaluation of Computer Systems by Prof.Krishna Moorthy Sivalingam, Department of Computer Science and Engineering, IIT Madras. For more ...
nptelhrd
Прикрепить файл
Похожие книги
Название и адрес
Режим работы
Телефон
Айша Бибі, книжный магазин
Туркестанская область, Шымкент, Абайский район, Акниет
Тамерлановское шоссе, 198/7
Расположение на карте
Вт: 09:00-19:30
Ср: 09:00-19:30
Чт: 09:00-19:30
Пт: 09:00-19:30
Сб: 09:00-19:30
Вс: 09:00-19:30
 +7-775-722-45-01 +7-747-212-90-93
Показать номер
Название и адрес
Режим работы
Телефон
Еврокнига, ООО, торговая фирма
Одесская область, Одесса, Приморский район
Соборная площадь, 6
Расположение на карте
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
 +380 (48) 777-00-19 +380 (48) 777-00-13
Показать номер
Название и адрес
Режим работы
Телефон
Judaica, интернет-магазин
Днепропетровская область, Днепровский городской совет, Днепр, Соборный район
Шолом-Алейхема, 4/26
Расположение на карте
Пн: 09:15-12:00 12:30-17:45
Вт: 09:15-12:00 12:30-17:45
Ср: 09:15-12:00 12:30-17:45
Чт: 09:15-12:00 12:30-17:45
Пт: 09:15-12:00 12:30-14:00
 +380 67-541-64-04
Показать номер
Название и адрес
Режим работы
Телефон
КанцЛэнд, магазин
Кемеровская область, Новокузнецкий городской округ, Новокузнецк, Центральный район
Пионерский проспект, 6
Расположение на карте
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 10:00-16:00
 +7 (3843) 74-82-75 +7 (3843) 74-44-25
Показать номер
Название и адрес
Режим работы
Телефон
Дом книги, ООО, сеть магазинов
Пермский край, Пермь городской округ, Пермь, Ленинский район, Центр
Куйбышева, 16
Расположение на карте
Пн: 10:00-21:00
Вт: 10:00-21:00
Ср: 10:00-21:00
Чт: 10:00-21:00
Пт: 10:00-21:00
Сб: 10:00-21:00
Вс: 10:00-21:00
 +7 (342) 278-21-07
Показать номер
Название и адрес
Режим работы
Телефон
УМНЫЕ ИГРУШКИ, магазин
Республика Мордовия, Саранск городской округ, Саранск
Полежаева, 62
Расположение на карте
Пн: 09:00-19:00
Вт: 09:00-19:00
Ср: 09:00-19:00
Чт: 09:00-19:00
Пт: 09:00-19:00
Сб: 10:00-19:00
Вс: 10:00-18:00
 +7 (8342) 30-01-64
Показать номер
Название и адрес
Режим работы
Телефон
Игросити, интернет-магазин развивающих игрушек
Москва, Москва, Митино район
Пятницкое шоссе, 54 к2 ст6
Расположение на карте
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
 +7 (495) 517-30-42
Показать номер
Название и адрес
Режим работы
Телефон
Книжная лавка, сеть магазинов
Калининградская область, Калининград городской округ, Калининград, Центральный район
Космонавта Леонова, 55/1
Расположение на карте
Пн: 10:00-21:00
Вт: 10:00-21:00
Ср: 10:00-21:00
Чт: 10:00-21:00
Пт: 10:00-21:00
Сб: 10:00-21:00
Вс: 10:00-21:00
Название и адрес
Режим работы
Телефон
Дом книги
Свердловская область, Екатеринбург городской округ, Екатеринбург, Верх-Исетский район, ВИЗ
Викулова, 33/1
Расположение на карте
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Сб: 10:00-19:00
Вс: 10:00-19:00
 +7 (343) 289-40-45 +7 (343) 203-30-04
Показать номер
Название и адрес
Режим работы
Телефон
Магазин учебной литературы, ИП Зарембо В.В.
Санкт-Петербург, Санкт-Петербург, Невский район, МО №49 "Невская застава"
Обуховской Обороны проспект, 105
Расположение на карте
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 10:00-18:00
Вс: 10:00-18:00
 +7-909-581-48-95
Показать номер
Прикрепить файл