On the logic of TLA+
| Hlavný autor: | |
|---|---|
| Médium: | Článok |
| Jazyk: | slovenčina angličtina |
| Fyzický popis: | Fotogr., tab. |
| ISSN: | 1335-9150 |
| Predmet: |
Podobné exempláre
Z logic and its consequences
Autor: Henson, Martin C., a ďalší
Autor: Henson, Martin C., a ďalší
<<The>> logic of the RAISE specification language
Autor: George, Chris, a ďalší
Autor: George, Chris, a ďalší
CASL - the common algebraic specification language: semantics and proof theory
Autor: Mossakowski, Till, a ďalší
Autor: Mossakowski, Till, a ďalší
CafeOBJ: Logical foundations and methodologies
Autor: Diaconescu, Răzvan, a ďalší
Autor: Diaconescu, Răzvan, a ďalší
