Formal Systems Specification: The RPC-Memory Specification Case Study (Lecture Notes in Computer Science (1169), Band 1169)

Katharina

von: Manfred Broy · Stephan Merz · Katharina Spies

Taschenbuch

Details (Deutschland)

ISBN-13: 978-3-540-61984-0

ISBN-10: 3-540-61984-4

Springer · 2008