Основы программного обеспечения и структур вычислительств: 23 -й Internatio
- Время доставки: 7-10 дней
- Состояние товара: новый
- Доступное количество: 10
Покупая «Основы программного обеспечения и структур вычислительств: 23 -й Internatio» данный товар из каталога «Программирование» вы можете быть уверены, что после оформления заказа, доставки в Украину, вы получите именно то, что заказывали, в оговоренные сроки и европейского качества.
Основы программного обеспечения и вычислительных структур: 23 -я Международная конференция, Fossacs 2020, проводимая в рамках европейских совместных конференций по теории и практике программного обеспечения, этапы 2020,
Эта книга с открытым доступом состоит в том, что обработки 23 -й Международной конференции по фондам программного обеспечения и вычислительных структур, Fossacs 2020, которая проходила в Дублине, Ирландия, в апреле 2020 года, и проводилась в рамках европейских конференций Joopint. Теория и практика программного обеспечения, STAPS 2020. 31 регулярные документы, представленные в этом томе, были тщательно рассмотрены и отобраны из 98 материалов. Документы охватывают такие темы, как категориальные модели и логика; Теория языка, автоматы и игры; Модальная, пространственная и временная логика; Теория типа и теория доказательств; Теория параллелистики и процесс процесса; Переписывание теории; Семантика языков программирования; Анализ, правильность, преобразование и программа проверки; Логика программирования; Спецификация программного обеспечения и уточнение; Модели одновременных, реактивных, стохастических, распределенных, гибридных и мобильных систем; Новые модели вычислений; Логические аспекты вычислительной сложности; Модели безопасности программного обеспечения; и логические основы баз данных.
- Издатель: springer
- Год публикации: 2020
- обложка: Soft
- Количество страниц: 644
- Размеры: 23,5 x 15,5 x 0 см
- Иллюстрации: 1 Иллюстрации, черно -белые; XV, 644 с. 1 иллю.
- язык: английский
- ISBN: 9783030452308