01106nam--2200349---450-9900003513402033160035134USA010035134(ALEPH)000035134USA01003513420010307d1985----km-y0itay0103----baengDE||||||||001yyDistributed systemsmethods and tools for specificationan advanced courseby M.V. Alford ...<et al.>edited by M. Paul and H.J. SiegertBerlinSpringer Verlagc1985VI, 573 p.diagr.24 cmLecture notes in computer science1902001Lecture notes in computer science190001-------2001001.64ALFORD,M.W.ITsalbcISBD990000351340203316001 LNCS 10914109001 LNCS00101547BKSCIPATTY9020010307USA01135520020403USA011643PATRY9020040406USA011624Distributed systems878457UNISA