Dynamic logic

Saved in:
Bibliographic Details
Main Author: Harel, David, 1950-
Other Authors: Kozen, Dexter, 1951-, Tiuryn, Jerzy.
Format: eBook
Language: English
Published: Cambridge, Mass. : MIT Press, 2000.
Series: Foundations of computing.
Subjects:
ISBN: 9780262274951
Physical Description: 1 online zdroj (xv, 459 p.) : ill.

Cover

Table of contents

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