Number of the records: 1
Temporal logic and state systems
Title statement Temporal logic and state systems / Fred Kröger, Stephan Merz Personal name Kröger, Fred, 1945- (author) Edition statement Softcover reprint of the hardcover 1st edition Publication Berlin ; Heidelberg : Springer, 2008 Phys.des. xi, 433 stran : schémata ISBN 978-3-642-08680-9 (brožováno) Edition Texts in theoretical computer science : an EATCS series Internal Bibliographies/Indexes Note Obsahuje bibliografii a rejstřík Another responsib. Merz, Stephan, 1963- (author) Subj. Headings symbolická logika symbolic logic * matematická logika mathematical logic * programování programming Form, Genre učebnice vysokých škol textbooks (higher) Conspect 004.4/.6 - Programování. Software 37.016 - Učební osnovy. Vyučovací předměty. Učebnice UDC 164.01 , 004.42 , 510.6 , (075.8) Country Německo Language angličtina Document kind Books Call number Barcode Location Sublocation Info M2/1519 (PřF) 3134046418 PřF PřF, KMI – Bc. Kolovratníková In-Library Use Only
Number of the records: 1