Logics for Concurrency: Structure versus Automata (Lecture Notes in Computer Science (1043), Band 1043)

Birtwistle

von: Faron Moller · Graham Birtwistle

Taschenbuch

ISBN: 978-3-540-60915-5

ISBN-10: 3-540-60915-6

Springer · 2008

S. auch:
1996HardcoverLogics for Concurrency: Structure Versus Automata (Lecture Notes in Computer Science, 1043)