发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1986 Volume 233 || Relational specifications and observational semantics

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1986 Volume 233 || Relational specifications and observational semantics

Gruska, Jozef; Rovan, Branislav; Wiedermann, Juraj

作者Gruska, Jozef; Rovan, Branislav; Wiedermann, Juraj
文件大小675.42KB
发表时间1986
DOI10.1007/bfb0016244
页码209-217

← 返回【学霸图书馆】主页