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é
UTILIZATION OF LINEAR TEMPORAL...
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
UTILIZATION OF LINEAR TEMPORAL LOGIC FOR GENERATED C PROGRAM CODE
Podrobná bibliografia
Hlavný autor:
Paška, Marek
(Autor)
Médium:
Článok
Jazyk:
slovenčina
angličtina
Pozri predplatné
Predplatné
Kliknite na „Pozri predplatné“.
Exempláre
Popis
Podobné exempláre
UNIMARC/MARC
Popis
Žiadný popis.
Podobné exempláre
TEMPORAL LOGIC OF PROGRAMS
Autor: Kotmanová, Daniela
Temporal logic of programs
Autor: Szomolányi, Ján, 1940-, a ďalší
Linear logical reasoning on programming
Autor: Novitzká, Valerie, a ďalší
An extensions of linear time temporal logic and its application to hardware design
Autor: Cingel, Viktor
Temporal logic for pointcut definitions in AOP
Autor: Kollár, Ján, 1954-, a ďalší