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