Перейти до змісту
Library Home
Start Over
Research Databases
E-Journals
Матеріали до курсів
Library Home
Логін
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Հայերէն
Українська
Мова
Library Catalog
Всі поля
Назва
Автор
Предмет
Шифр
ISBN/ISSN
Знайти
Розширений пошук
|
Перегляд
|
Поради для пошуку
Tools and algorithms for the c...
Цитувати
Відправити по sms
Відправити е-поштою
Друк
Експортувати запис
Екпортувати в RefWorks
Екпортувати в EndNoteWeb
Екпортувати в EndNote
Додати у Вибране
Постійне посилання
Tools and algorithms for the construction and analysis of systems : Part II / 28th International Conference, TACAS 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings. Dana Fisman, Grigore Rosu (eds.).
Збережено в:
Бібліографічні деталі
Співавтори:
TACAS (Conference) Munich, Germany)
,
ETAPS (Conference)
Інші автори:
Fisman, Dana
(Редактор)
,
Roşu, Grigore
(Редактор)
Формат:
eКнига
Мова:
English
Опубліковано:
Cham, Switzerland :
Springer,
2022.
Серія:
Lecture notes in computer science ;
13244.
Lecture notes in computer science. Advanced research in computing and software science.
Предмети:
System design
>
Congresses.
Computer software
>
Verification
>
Congresses.
System analysis
>
Congresses.
Computer software
>
Verification
System analysis
System design
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
Онлайн доступ:
Click for online access
Примірники
Опис
Зміст
Схожі ресурси
Службовий вигляд
Зайдіть у систему щоб отримати інформацію по замовленням та відкликам
Інтернет
Click for online access
Online
Детальна інфо про примірники із Online
Доступно
Схожі ресурси
Tools and algorithms for the construction and analysis of systems : 28th International Conference, TACAS 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings. Part I
Опубліковано: (2022)
Tools and algorithms for the construction and analysis of systems : 29th International Conference, TACAS 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023, Proceedings. Part I
Опубліковано: (2023)
Tools and algorithms for the construction and analysis of systems : 29th International Conference, TACAS 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023, Proceedings. Part II
Опубліковано: (2023)
Tools and algorithms for the construction and analysis of systems : 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings. Part I
Опубліковано: (2020)
Tools and algorithms for the construction and analysis of systems : 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings. Part II
Опубліковано: (2020)