Fundamental Approaches to Software Engineering 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
computer software maintenance; computer software selection and evaluation; formal logic; formal methods; formal specification; programming languages; semantics; software engineering; specifications; verification
Збережено в:
| Інші автори: | , |
|---|---|
| Формат: | Електронний ресурс Частина з книги |
| Мова: | Англійська |
| Опубліковано: |
Cham
Springer Nature
2018
|
| Серія: | Theoretical Computer Science and General Issues
10802 |
| Предмети: | |
| Онлайн доступ: | OAPEN Library: download the publication OAPEN Library: description of the publication |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
Search Result 1
DOAB: description of the publication
Fundamental Approaches to Software Engineering 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...
Опубліковано 2018
DOAB: download the publication
DOAB: description of the publication
Електронний ресурс
Частина з книги
Search Result 2