01418nam2-2200409li-450 99000020745020331620180312154627.03-540-61984-40020745USA010020745(ALEPH)000020745USA01002074520001109d1996----km-y0itay0103----baengGWFormal systems specificationthe RPC-memory specification case studyManfred Broy ... [et al.] (eds.)Berlin [etc.]Springer-Verlagcopyr. 1996VII, 540 p.ill.23 cmLecture notes in computer science116900100202642001Lecture notes in computer scienceelaboratori elettroniciinterfacciamentoelaboratori elettronicisistemi operativiprogrammazionetelecomunicazioni00543Programmi di sistemi. Sistemi operativiBroy,ManfredSistema bibliotecario di Ateneo dell' Università di SalernoRICA990000207450203316001 LNCS (1169)001975800100103943BKSCI1997070620001110USA011714ALANDI9020010201USA01161220020403USA011628PATRY9020040406USA011615Formal systems specification1487580UNISA