- 2 402 202 книги
- Поиск
Transductions and context-free languages
Автор: Jean BerstelКатегория: Cs_Computer science, CsF_Formal methods
Размер книги: 5.99 Mb
Automata, Formal Languages and Algebraic Systems
Автор: Ito M., Автор: et al. (eds.)Категория: Cs_Computer science, CsF_Formal methods
Размер книги: 1.58 Mb
Specifying systems: errata
Автор: Lamport L.Категория: Cs_Computer science, CsF_Formal methods
Размер книги: 109 Kb
Action semantics
Автор: Mosses P.D.Категория: Cs_Computer science, CsF_Formal methods
Размер книги: 4.46 Mb
Events in computation
Автор: Winskel G.Категория: Cs_Computer science, CsF_Formal methods
Размер книги: 2.38 Mb
Topics in concurrency: lecture notes
Автор: Winskel G.Категория: Cs_Computer science, CsF_Formal methods
Размер книги: 664 Kb
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
A model for communicating sequential processes
Автор: Brookes S.D.Категория: Cs_Computer science, CsF_Formal methods
Размер книги: 976 Kb
CafeOBJ report: the language, proof techniques, and methodologies for object-oriented algebraic specification
Автор: RaМ†zvan Diaconescu; Kokichi FutatsugiКатегория: Cs_Computer science, CsF_Formal methods
Размер книги: 1.06 Mb
Automatentheorie und Logik
Автор: Hofmann M., Автор: Lange M.Категория: Cs_Computer science, CsF_Formal methods
Размер книги: 1.62 Mb
The Correctness-by-Construction Approach to Programming
Автор: Derrick Kourie; Bruce W WatsonКатегория: Cs_Computer science, CsF_Formal methods
Размер книги: 1.69 Mb
Temporal verification of reactive systems: progress
Автор: Manna Z., Автор: Pnueli A.Категория: Cs_Computer science, CsF_Formal methods
Размер книги: 1.40 Mb
The [pi]-calculus : a theory of mobile processes
Автор: Davide Sangiorgi; David WalkerКатегория: Cs_Computer science, CsF_Formal methods
Размер книги: 5.65 Mb
Foundations of Algebraic Specification and Formal Software Development
Автор: D Sannella; Andrzej TarleckiКатегория: Cs_Computer science, CsF_Formal methods
Размер книги: 2.91 Mb
Automated theorem proving in software engineering
Автор: Johann M SchumannКатегория: Cs_Computer science, CsF_Formal methods
Размер книги: 2.64 Mb
Toward zero-defect programming
Автор: Allan M StavelyКатегория: Cs_Computer science, CsF_Formal methods
Размер книги: 1.78 Mb
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
Handbook of theoretical computer science. Vol.A. Algorithms and complexity
Автор: van Leeuwen J. (ed.)Категория: Cs_Computer science, CsF_Formal methods
Размер книги: 12.22 Mb