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

Krzysztof

von Krzysztof R. Apt

Taschenbuch

ISBN: 978-3-642-82455-5

ISBN-10: 3-642-82455-2

Springer-Verlag · 1985
S. auch:
1985HardcoverLogics and Models of Concurrent Systems (NATO Asi Series, Advanced Science Institutes Series, Series F, Computer and Systems Sciences, Vol 13)
1985Gebundene AusgabeLogics and Models of Concurrent Systems (Nato ASI Subseries F:, Band 13)