VDM '90. VDM and Z - Formal Methods in Software Development
de Dines Bjørner, C.A.R. Hoare, Hans Langmaack
Ediciones (1)
- VDM '90. VDM and Z - Formal Methods in Software Development (2014)
Springer · ISBN 9783662186312
de Dines Bjørner, C.A.R. Hoare, Hans Langmaack
Springer · ISBN 9783662186312
