Dynamic logic

Saved in:
Bibliographic Details
Main Author Harel, David, 1950-
Other Authors Kozen, Dexter, 1951-, Tiuryn, Jerzy
Format eBook
LanguageEnglish
Published Cambridge, Mass. : MIT Press, 2000.
SeriesFoundations of computing.
Subjects
Computer logic.
Formal methods (Computer science)
elektronické knihy
electronic books
Online AccessFull text
ISBN9780262274951
Physical Description1 online zdroj (xv, 459 p.) : ill.

Cover

More Information
Bibliography:Includes bibliographical references and index.
ISBN:9780262274951
Access: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
Physical Description:1 online zdroj (xv, 459 p.) : ill.

Similar Items