00994nam0-22003251i-450-99000051256040332120101122105957.00-932633-11-0000051256FED01000051256(Aleph)000051256FED0100005125620020821d1988----km-y0itay50------baenga-------001yyStrategies for real-time system specificationDerek J. Hatley, Imtiaz A. PirbhaiNew YorkDorset House©1988386 p.ill.25 cmElaborazione dei dati in tempo reale004.33Hatley,Derek J.27389Pirbhai,Imtiaz A.<1953-1992>434803ITUNINARICAUNIMARCBK99000051256040332110 P.T. 5791918 DISDINEL10 P.T. 5501708 DISDINELDINELStrategies for real-time system specification330505UNINA