Number of the records: 1
Modal and temporal properties of processes
Title statement Modal and temporal properties of processes / Colin Stirlig Personal name Stirling, Colin P. (author) Publication New York : Springer, [2001] Copyright notice date ©2001 Phys.des. xii, 190 stran : ilustrace ISBN 0-387-98717-7 (vázáno) Edition Texts in computer science Internal Bibliographies/Indexes Note Obsahuje bibliografické odkazy a rejstřík Subj. Headings matematická logika mathematical logic * paralelní algoritmy parallel algorithms * paralelní počítače parallel computers Form, Genre učebnice textbooks Conspect 004.3 - Počítače. Hardware 37.016 - Učební osnovy. Vyučovací předměty. Učebnice UDC 004.38.032.24 , 004.421.032.24 , 510.6 , (075) Country Spojené státy americké Language angličtina Document kind Books Call number Barcode Location Sublocation Info M2/1437 (PřF) 3134045702 PřF PřF, KMI – Bc. Kolovratníková In-Library Use Only
Number of the records: 1