D. Bjorner, C.B. Jones

The Vienna Development Method: The Meta-Language - 1978 - Springer Berlin Heidelberg 1978 - Lecture Notes in Computer Science .

9783540358367


Computer Science