00967nam a2200241 a 4500001001400000003000700014005001700021008004100038020001800079039004400097040000800141090002500149100002000174245008700194260005100281300003400332504006500366650002200431650003700453952013600490999002700626999007200653vtls000056041KUKTEM20251117150144.0111118t2011    enka   f      001 0 eng d  a9780470027882 9a201202071059basmadiy201111180927zsri  aUMP  aQA267.5.T45 F57 20111 aFisher, Michael13aAn introduction to practical formal methods using temporal logic /cMichael Fisher  aChichester, West Sussex, U.K. :bWiley,cc2011  avii, 353 p. :bill. ;c26 cm.  aIncludes bibliographical references (p. [321]-347) and index 0aTemporal automata 0aLogic, Symbolic and mathematical  00104070a10000b10000d2019-09-04g406.38l0oQA267.5.T45 F57 2011p0000061935r2019-09-04 00:00:00t1v406.38w2019-09-04yOPEN  aVIRTUA40c52550d52556  aVTLSSORT0080*0200*0400*0900*1000*2450*2600*3000*5040*6500*6501*9991