Formal Techniques for Distributed Objects, Components, and Systems. Vol. 10854 / Christel Baier; Luís Caires. - Springer International Publishing, 2018.; ISBN 978-3-319-92612-4; 978-3-319-92611-7

Экспресс-заказ фрагмента
Formal Techniques for Distributed Objects, Components, and Systems. Vol. 10854 / Christel Baier; Luís Caires. - Springer International Publishing, 2018.; ISBN 978-3-319-92612-4; 978-3-319-92611-7

COMPUTERS / Software Development & Engineering / General; Engineering and Technology; Mathematics; Science; Technology

Marc21

Скачать marc21-запись

Показать

Описание

ЗаглавиеFormal Techniques for Distributed Objects, Components, and Systems. Vol. 10854
Коллекции ЭК РГБ Сетевые удаленные ресурсы
Дата поступления в ЭК РГБ 21.11.2024
Каталоги Книги (изданные с 1831 г. по настоящее время)
Сведения об ответственностиChristel Baier; Luís Caires
Выходные данныеSpringer International Publishing, 2018
ISBNISBN 978-3-319-92612-4; 978-3-319-92611-7
Термины-указателиCOMPUTERS / Software Development & Engineering / General; Engineering and Technology; Mathematics; Science; Technology
Пакет/вендорSpringer Nature - Springer eBooks-2018
Примечание о доступеВозможен доступ вне РГБ. Подробности на странице https://search.rsl.ru/ru/networkresources в справочном разделе [ i ] таблицы лицензионных ресурсов для поставщика ресурса (колонки Ресурс и Издатель)