|
|
|
|
LEADER |
01545cam a2200361 a 4500 |
001 |
74797 |
003 |
CZ ZlUTB |
005 |
20240911212158.0 |
006 |
m d |
007 |
cr un |
008 |
051006s2000 maua sb 001 0 eng d |
020 |
|
|
|a 9780262274951
|q (ebook)
|
035 |
|
|
|a (OCoLC)61848680
|
040 |
|
|
|a N$T
|b eng
|c N$T
|d OCLCQ
|d OCLCG
|d OCLCQ
|d N$T
|d OCLCQ
|d OCLCO
|d OCLCQ
|d IEEEE
|d OCLCF
|d NLGGC
|
100 |
1 |
|
|a Harel, David,
|d 1950-
|
245 |
1 |
0 |
|a Dynamic logic
|h [elektronický zdroj] /
|c David Harel, Dexter Kozen, Jerzy Tiuryn.
|
260 |
|
|
|a Cambridge, Mass. :
|b MIT Press,
|c 2000.
|
300 |
|
|
|a 1 online zdroj (xv, 459 p.) :
|b ill.
|
490 |
1 |
|
|a Foundations of computing.
|
504 |
|
|
|a Includes bibliographical references and index.
|
506 |
|
|
|a Plný text je dostupný pouze z IP adres počítačů Univerzity Tomáše Bati ve Zlíně nebo vzdáleným přístupem pro zaměstnance a studenty univerzity
|
650 |
|
0 |
|a Computer logic.
|
650 |
|
0 |
|a Formal methods (Computer science)
|
655 |
|
7 |
|a elektronické knihy
|7 fd186907
|2 czenas
|
655 |
|
9 |
|a electronic books
|2 eczenas
|
700 |
1 |
|
|a Kozen, Dexter,
|d 1951-
|
700 |
1 |
|
|a Tiuryn, Jerzy.
|
776 |
0 |
8 |
|i Print version:
|a Harel, David, 1950-
|t Dynamic logic.
|d Cambridge, Mass. : MIT Press, 2000
|z 0262082896
|w (DLC) 00030380
|w (OCoLC)43894182
|
830 |
|
0 |
|a Foundations of computing.
|
856 |
4 |
0 |
|u https://proxy.k.utb.cz/login?url=http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267400
|y Plný text
|
992 |
|
|
|a BK
|c EBOOK-TN
|c MITPRESS
|
999 |
|
|
|c 74797
|d 74797
|
993 |
|
|
|x NEPOSILAT
|y EIZ
|