-
1Formal Program Development [electronic resource] : IFIP TC2/WG 2.1 State-of-the-Art Report / Formal Program Development [electronic resource] : IFIP TC2/WG 2.1 State-of-the-Art Report /by Möller, Bernhard. editor., Partsch, Helmut. editor., Schuman, Steve. editor., SpringerLink (Online service)
Published 1993Texto bibliotecaCOLPOS -
2Formal Program Development [electronic resource] : IFIP TC2/WG 2.1 State-of-the-Art Report / Formal Program Development [electronic resource] : IFIP TC2/WG 2.1 State-of-the-Art Report /by Möller, Bernhard. editor., Partsch, Helmut. editor., Schuman, Steve. editor., SpringerLink (Online service)
Published 1993Texto bibliotecaCOLPOS