01082nam a2200277 i 450099100016757970753620020506110039.0990623s1991 uk ||| | eng 0122183150b10040018-39ule_instLE02614328ExLDip.to Ingegneria dell'Innovazioneita004.019Dix, Alan John459959Formal methods for interactive systems /Alan John DixLondon [etc] :Academic Press,c 1991[6], 369 p. ;24 cmComputers and people seriesInformatica - Interazione uomo-macchinaInterazione uomo macchina.b1004001817-02-1731-05-02991000167579707536LE026 004.019 DIX 01.02 199112026000005836le026Testo collocato sopra gli scaffali della SEZIONE-INFORMATICA-E0.00-ls 40000.i1004564831-05-02Formal methods for interactive systems177114UNISALENTOle02601-01-99ma -enguk 01