Abstract Compositional Analysis of Iterated Relations

副标题: v. 1426: A Structural Approach to Complex State Transition Systems

ISBN: 9783540655060

作者: Frederic Geurts

出版社: Springer Verlag

页数: 280

定价: 69.95

装帧: Pap