Number of the records: 1
Verification of systems and circuits using LOTOS, Petri Nets, and CCS
Title statement Verification of systems and circuits using LOTOS, Petri Nets, and CCS / by Michael Yoeli and Rakefet Kol Personal name Yoeli, Michael, 1917- (author) Issue data Hoboken, N.J. : Wiley-Interscience, c2008 Phys.des. xv, 231 s. : il. ISBN 9780471704492 (váz.) Edition Wiley series on parallel and distributed computing Internal Bibliographies/Indexes Note Obsahuje bibliografie, bibliografické odkazy a rejstřík Another responsib. Kol, Rakefet (author) Subj. Headings integrované obvody integrated circuits * software software * verifikace programů * Petriho sítě Petri nets * programovací jazyky programming languages Form, Genre učebnice textbooks Conspect 621.3 - Elektrotechnika 37.016 - Učební osnovy. Vyučovací předměty. Učebnice UDC 004.43 , 004.438LOTOS , 621.3.049.77 , 004.4 , 519.179.2 , (075) Country Spojené státy americké Language angličtina Document kind Books book
Call number Barcode Location Sublocation Info M2/367 (PřF) 3134023595 PřF PřF, KMI – Bc. Kolovratníková In-Library Use Only
Number of the records: 1