High Level Transition Systems of Csp Specifications
by Markus Dahlweid, Uwe Schulze Paperback 2008
- Author: Markus Dahlweid, Uwe Schulze
- ISBN 13: 9783639009729
- ISBN 10: 363900972X
- Publication Year: 2008
- Language: English
Specifications
Index-10363900972X
LanguageEnglish
Index-139783639009729
Period-
Class Track-
Publisher- (2008)
Pages-