01048nam0-22003731i-450-99000148556040332120090716122438.00-262-08289-6000148556FED01000148556(Aleph)000148556FED0100014855620010731d2000----km-y0itay50------baengUSa---a---001yyDynamic logicDavid Harel, Dexter Kozen, Jerzy TiurynCambridge (Mass.)The Mit pressc2000xv, 459 p.23 cmFundations of computingMatematica degli elaboratoriMetodi formaliLogica per il computer004.015Harel,David<1950- >47551Kozen,Dexter<1951- >65955Tiuryn,Jerzy65956ITUNINARICAUNIMARCBK990001485560403321004.015-HAR-11025SC1SC1Dynamic logic378213UNINA