-
1Formal Systems Specification [electronic resource] : The RPC-Memory Specification Case Study / Formal Systems Specification [electronic resource] : The RPC-Memory Specification Case Study /by Broy, Manfred. editor., Merz, Stephan. editor., Spies, Katharina. editor., SpringerLink (Online service)
Published 1996Texto bibliotecaCOLPOS -
2Formal Systems Specification [electronic resource] : The RPC-Memory Specification Case Study / Formal Systems Specification [electronic resource] : The RPC-Memory Specification Case Study /by Broy, Manfred. editor., Merz, Stephan. editor., Spies, Katharina. editor., SpringerLink (Online service)
Published 1996Texto bibliotecaCOLPOS