An introduction to FORTRAN VERIFIER (2nd ed.) : a tool for documentation and error diagnosis of FORTRAN-77 programs


Reidar Conradi and Dag Svanæs
Bok Språk ikke angitt 1986
Utgitt
Trondheim , 1986
Omfang
8 bl.
Emner

Bibliotek som har denne