В настоящее время на этой странице нет текста. Вы можете найти упоминание данного названия на других страницах, или найти соответствующие записи журналов. У вас нет разрешения создать данную страницу.
Категория:Formal methods
Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску
Страницы в категории «Formal methods»
Показана 41 страница из 41, находящейся в данной категории.
A
- Английская Википедия:Abstract state machine
- Английская Википедия:Algebraic semantics (computer science)
- Английская Википедия:Algebraic specification
- Английская Википедия:Algorithm characterizations
- Английская Википедия:And-inverter graph
- Английская Википедия:Applicative universal grammar
- Английская Википедия:Assertion (software development)
- Английская Википедия:Asynchronous system
- Английская Википедия:Automated theorem proving
B
C
- Английская Википедия:Categorical set theory
- Английская Википедия:CompCert
- Английская Википедия:Computer-assisted proof
- Английская Википедия:Concurrency semantics
- Английская Википедия:Construction and Analysis of Distributed Processes
- Английская Википедия:Continued process verification
- Английская Википедия:Critical process parameters