Logics and Models of Concurrent Systems (Nato ASI Subseries F: (13), Band 13)

Krzysztof

von Krzysztof R. Apt

Gebunden

EAN=ISBN-13: 978-3-540-15181-4

ISBN-10: 3-540-15181-8

Springer · 1985

Siehe auch:
1985TaschenbuchLogics and Models of Concurrent Systems (Nato ASI Subseries F: (13), Band 13)