2 402 202 книги
Поиск книг
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
#1
Transductions and context-free languages
Jean Berstel
Категория:
Cs_Computer science
,
CsF_Formal methods
5.99 Mb
#2
Automata, Formal Languages and Algebraic Systems
Ito M.
,
et al. (eds.)
Категория:
Cs_Computer science
,
CsF_Formal methods
1.58 Mb
#3
Specifying systems: errata
Lamport L.
Категория:
Cs_Computer science
,
CsF_Formal methods
109 Kb
#4
Action semantics
Mosses P.D.
Категория:
Cs_Computer science
,
CsF_Formal methods
4.46 Mb
#5
Events in computation
Winskel G.
Категория:
Cs_Computer science
,
CsF_Formal methods
2.38 Mb
#6
Topics in concurrency: lecture notes
Winskel G.
Категория:
Cs_Computer science
,
CsF_Formal methods
664 Kb
#7
Logics and models of concurrent systems
Krzysztof R Apt; North Atlantic Treaty Organization. Scientific Affairs Division (ed.)
Категория:
Cs_Computer science
,
CsF_Formal methods
4.51 Mb
#8
A model for communicating sequential processes
Brookes S.D.
Категория:
Cs_Computer science
,
CsF_Formal methods
976 Kb
#9
CafeOBJ report: the language, proof techniques, and methodologies for object-oriented algebraic specification
Răzvan Diaconescu; Kokichi Futatsugi
Категория:
Cs_Computer science
,
CsF_Formal methods
1.06 Mb
#10
Automatentheorie und Logik
Hofmann M.
,
Lange M.
Категория:
Cs_Computer science
,
CsF_Formal methods
1.62 Mb
#11
The Correctness-by-Construction Approach to Programming
Derrick Kourie; Bruce W Watson
Категория:
Cs_Computer science
,
CsF_Formal methods
1.69 Mb
#12
Temporal verification of reactive systems: progress
Manna Z.
,
Pnueli A.
Категория:
Cs_Computer science
,
CsF_Formal methods
1.40 Mb
#13
The [pi]-calculus : a theory of mobile processes
Davide Sangiorgi; David Walker
Категория:
Cs_Computer science
,
CsF_Formal methods
5.65 Mb
#14
Foundations of Algebraic Specification and Formal Software Development
D Sannella; Andrzej Tarlecki
Категория:
Cs_Computer science
,
CsF_Formal methods
2.91 Mb
#15
Automated theorem proving in software engineering
Johann M Schumann
Категория:
Cs_Computer science
,
CsF_Formal methods
2.64 Mb
#16
Toward zero-defect programming
Allan M Stavely
Категория:
Cs_Computer science
,
CsF_Formal methods
1.78 Mb
#17
Formal development of a network-centric rtos : software engineering for reliable embedded systems
Verhulst E.
,
et al.
Категория:
Cs_Computer science
,
CsF_Formal methods
2.94 Mb
#18
Handbook of theoretical computer science. Vol.A. Algorithms and complexity
van Leeuwen J. (ed.)
Категория:
Cs_Computer science
,
CsF_Formal methods
12.22 Mb