Výsledky
1 - 2
z
2
pro vyhledávání '
Pnueli, A. 1941-
'
Přeskočit na obsah
Váš účet
Odhlásit
Přihlášení
English
Informace o aktuálním provozu knihoven sledujte na jejich
stránkách
.
Vše
Název
Autor
Téma
ISBN/ISSN
Signatura
Čárový kód
Systémové číslo
Hledat
Pokročilé vyhledávání
Pokročilé vyhledávání
Filtr e-prezenčka
Autor
Pnueli, A. 1941-
Výsledky
1 - 2
z
2
pro vyhledávání '
Pnueli, A. 1941-
'
, doba hledání: 0,01 s.
Upřesnit hledání
Seřadit podle
Relevance
Podle data sestupně
Podle data vzestupně
Autor
Název
1
The temporal logic of reactive and concurrent systems : specification /
Autor
Manna, Zohar, 1939-2018
,
Pnueli
,
A
.
1941
-
Vydáno 1992
Umístění:
Načítá se...
Kniha
Načítá se...
Do oblíbených
Uloženo v:
Jednotky
2
Temporal verification of reactive systems : safety /
Autor
Manna, Zohar, 1939-2018
,
Pnueli
,
A
.
1941
-
Vydáno 1995
Umístění:
Načítá se...
Kniha
Načítá se...
Do oblíbených
Uloženo v:
Jednotky
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Související témata
Kombinatorika. Teorie grafů. Matematická statistika. Operační výzkum. Matematické modelování
Počítačová věda. Výpočetní technika. Informační technologie
computer science
computer systems
formal logic
formal verification
formální logika
formální verifikace
logic
logika
matematická logika
mathematical logic
počítačová věda
počítačové systémy
×
Načítá se...
