Text ( visual ) : unmediated Process algebra / J.C.M. Baeten, W.P. Weijland. -- Cambridge ; New York : Cambridge University Press , 1990. -- 248 p. : ill. ; 26 cm. -- (Cambridge tracts in theoretical computer science ; 18). -- Bibliography: p. 227-234 ; Includes indexes. -- ISBN 0521400430 ; (BA1102147X) ; https://ci.nii.ac.jp/ncid/BA1102147X Author Heading(s): Weijland, W. P. ; Baeten, J. C. M.. -- Subject Heading(s): LCSH : Logic, Symbolic and mathematical ; LCSH : Axioms

AltStyle によって変換されたページ (->オリジナル) /