Martin,, James,, 1933-
Program design which is provably correct : a quantum leap in software / James Martin
Program design which is provably correct : a quantum leap in software / James Martin
. - [S.l.] : Savant Research Studies, 1982
. - 2 v. 29 cm
. -
parte 1 : XIX, 221 f
parte 2 : f. 222-426
519.68