Versión - Formal program development :
-
1
Formal program development : IFIP TC2/WG 2.1 state-of-the-art report
Berlín : Springer, 1993Consultar en el Cátalogo
Libro -
2
Formal program development : IFIP TC2/WG 2.1 state-of-the-art report
Berlín : Springer, 1993Consultar en el Cátalogo
Libro