Основи наукових та обчислювальних структур: 23 -й інтернація
- Час доставки: 7-10 днів
- Стан товару: новий
- Доступна кількість: 10
Покупая «Основы программного обеспечения и структур вычислительств: 23 -й Internatio» данный товар из каталога «Программирование» вы можете быть уверены, что после оформления заказа, доставки в Украину, вы получите именно то, что заказывали, в оговоренные сроки и европейского качества.
Основи наукових та обчислювальних структур програмного забезпечення: 23 Міжнародна конференція, Fossacs 2020, що проводиться в рамках Європейських спільних конференцій з теорії та практики програмного забезпечення, етапи 2020,
Ця книга з відкритим доступом складає обробки 23 -ї Міжнародної конференції з фундаментальних програм з програмного забезпечення та обчислювальних структур, Fossacs 2020, яка відбулася в Дубліні, Ірландія, у квітні 2020 року, і відбулася як частина європейських конференцій Joopint на. Теорія та практика програмного забезпечення, Staps 2020. 31 регулярні документи, представлені в цьому томі, були ретельно переглянуті та обрані з 98 подань. Доповіді висвітлюють такі теми, як категоричні моделі та логіка; Теорія мови, автоматики та ігри; Модальна, просторова та часова логіка; Теорія типу та теорія доказів; Теорія одночасності та обробка процесів; Теорія переписування; Семантика мов програмування; Програма аналізу, правильності, трансформації та перевірки; Логіка програмування; Специфікація та вдосконалення програмного забезпечення; Моделі одночасних, реактивних, стохастичних, розподілених, гібридних та мобільних систем; Нові моделі обчислення; Логічні аспекти обчислювальної складності; Моделі безпеки програмного забезпечення; та логічні основи даних даних.
- видавець: springer
- Рік публікації: 2020
- обкладинка: м’яка
- Кількість сторінок: 644
- Розміри: 23,5 х 15,5 х 0 см
- Ілюстрації: 1 ілюстрації, чорно -білі; XV, 644 с. 1 ілюз.
- Мова: англійська
- ISBN: 9783030452308