Formal Techniques for Distributed Systems (Lecture Notes in Computer Science, Band 7892)

Techniques

von: Dirk Beyer · Michele Boreale

Taschenbuch

ISBN: 978-3-642-38591-9

ISBN-10: 3-642-38591-5

Springer · 2013