Name: Formal Systems Specification: The Rpc-Memory Specification Case Study - Manfred Broy, Stephan Merz et Katharina Spies
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Availability: InStock

Formal Systems Specification: The Rpc-Memory Specification Case Study - Manfred Broy, Stephan Merz et Katharina Spies - Springer-Verlag Berlin and Heidelberg GmbH & Co. K | SuperScan