01016nam a2200301 i 450099100090161970753620020507175525.0960520s1991 uk ||| | eng 0122183150b10773277-39ule_instLE01304058ExLDip.to Matematicaeng001.6425AMS 68N05AMS 68N25Dix, Alan John459959Formal methods for interactive systems /Alan John DixLondon :Academic Press,c1991369 p. ;24 cm.Computers and people seriesMonitors and operating systemsProgramming.b1077327723-02-1728-06-02991000901619707536LE013 68N DIX11 (1991)12013000051468le013-E0.00-l- 00000.i1087188328-06-02Formal methods for interactive systems177114UNISALENTOle01301-01-96ma -enguk 01