Počet záznamů: 1
Temporal logic and state systems
Údaje o názvu Temporal logic and state systems / Fred Kröger, Stephan Merz Osobní jméno Kröger, Fred, 1945- (autor) Údaje o vydání Softcover reprint of the hardcover 1st edition Nakladatel Berlin ; Heidelberg : Springer, 2008 Fyz.popis xi, 433 stran : schémata ISBN 978-3-642-08680-9 (brožováno) Edice Texts in theoretical computer science : an EATCS series Poznámky o skryté bibliografii a rejstřících Obsahuje bibliografii a rejstřík Dal.odpovědnost Merz, Stephan, 1963- (autor) Předmět.hesla symbolická logika symbolic logic * matematická logika mathematical logic * programování programming Forma, žánr učebnice vysokých škol textbooks (higher) Konspekt 004.4/.6 - Programování. Software 37.016 - Učební osnovy. Vyučovací předměty. Učebnice MDT 164.01 , 004.42 , 510.6 , (075.8) Země vyd. Německo Jazyk dok. angličtina Druh dok. Knihy Signatura Čár.kód Lokace Dislokace Info M2/1519 (PřF) 3134046418 PřF PřF, KMI – Bc. Kolovratníková pouze prezenčně
Počet záznamů: 1