UUsing formal description techniquesUsing formal description techniquesde Kenneth J. TurnerMateriasComputer programmingFormal languagesElectronic digital computers, programmingEdiciones (1)Using formal description techniques (1993)Wiley · inglésMás obras de Kenneth J. TurnerService provision