Поисковый запрос: (<.>S=Logics and meanings of programs<.>) |
Общее количество найденных документов : 94
Показаны документы с 1 по 10 |
|
1.
| Logic for programming, artificial intelligence, and reasoning/eds. E. M. Clarke, A. Voronkov. - 2010
|
2.
| Leveraging applications of formal methods, verification, and validation/ed. T. Margaria, B. Steffen. - 2010
|
3.
| Leveraging applications of formal methods, verification, and validation/ed. T. Margaria, B. Steffen. - 2010
|
4.
| Platzer A. Logical analysis of hybrid systems/A. Platzer. - 2010
|
5.
| Logic, language and meaning/eds. M. Aloni [et al.]. - 2010
|
6.
| Logic for programming, artificial intelligence, and reasoning/eds.: C. G. Fermüller, A. Voronkov. - 2010
|
7.
| Graph transformations/eds. H. Ehrig [et al.]. - 2010
|
8.
| Foundational and practical aspects of resource analysis/eds. M. Eekelen, O. Shkaravska. - 2010
|
9.
| Formal modeling and analysis of timed systems/eds. K. Chatterjee, T. A. Henzinger. - 2010
|
10.
| Integrated formal methods/eds.: D. Méry, S. Merz. - 2010
|
|
|
|
|
Главная страница
Российский сводный каталог по научно-технической литературе
Описание базы данных