search result

Cover von Categorical methods in computer science
with aspects from topology
Search for this author
Year: 1989
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 393
Media group: MONOGRAPHIE
Cover von Special issue on formal methods for industrial critical systems; 3
S. 195 - 306
Search for this author
Year: 2003
Publisher: Amsterdam, Elsevier
Count: 3
Media group: SPECIAL ISSUE
OPEN V 11.1.0.0