Semantics for Concurrency: Proceedings Of The International Bcs-Facs Workshop, Sponsored By Logic For It (S.E.R.C.), 23-25 July 1990, University Of Leicester, Uk (Workshops In Computing)

von Marta Z. Kwiatkowska Taschenbuch Details (Deutschland) EAN=ISBN-13: 978-3-540-19625-9 ISBN-10: 3-540-19625-0 Springer · 1990