Preskočiť na obsah
Košík:
0
záznamov
(Plný)
Prihlásiť
Jazyk
Anglický
Slovenský
Katalóg
Katalóg monografií
Katalóg článkov
Katalóg voľných diel
Katalóg obchodne nedostupných diel
Všetko
Názov
Autor
Predmet
Signatúra
ISBN/ISSN
Hľadať
Pokročilé
On the logic of TLA+
Vytvoriť citáciu
Vytlačiť
Exportovať záznam
Export to MARC
Export to BibTeX
Export to Jednoduchý textový výpis
Export to ISBD (text)
Export to Citácia ISO 690 (HTML)
Export to Citácia ISO 690 (.doc)
Pridať do košíka
Odobrať z košíka
Trvalý odkaz
On the logic of TLA+
Podrobná bibliografia
Hlavný autor:
Merz, Stephan
(Autor)
Médium:
Článok
Jazyk:
slovenčina
angličtina
Fyzický popis:
Fotogr., tab.
ISSN:
1335-9150
Predmet:
jazyky špecifikačné
TLA+ (jazyk)
>
logika
články z novín a časopisov
Pozri predplatné
Predplatné
Kliknite na „Pozri predplatné“.
Exempláre
Popis
Podobné exempláre
UNIMARC/MARC
Podobné exempláre
Z logic and its consequences
Autor: Henson, Martin C., a ďalší
<<The>> logic of the RAISE specification language
Autor: George, Chris, a ďalší
CASL - the common algebraic specification language: semantics and proof theory
Autor: Mossakowski, Till, a ďalší
CafeOBJ: Logical foundations and methodologies
Autor: Diaconescu, Răzvan, a ďalší
Foreword
Autor: Bjorner, Dines
Predchádzajúci
Ďalší
Podobné exempláre
Z logic and its consequences
Autor: Henson, Martin C., a ďalší
<<The>> logic of the RAISE specification language
Autor: George, Chris, a ďalší
CASL - the common algebraic specification language: semantics and proof theory
Autor: Mossakowski, Till, a ďalší
CafeOBJ: Logical foundations and methodologies
Autor: Diaconescu, Răzvan, a ďalší
Foreword
Autor: Bjorner, Dines