Pascal compiler validationde Brian A. WichmannMateriasCompilation (Informatique)Pascal (Computer program language)LogicielsComputer programsValidationCompilers (Computer programs)PASCAL (Langage de programmation)Pascal (computer program language)Compiling (electronic computers)Compiling (Electronic computers)Ediciones (1)Pascal compiler validation (1983)Wiley · inglésMás obras de Brian A. WichmannSoftware in safety-related systemsADA. Lengoaia eta metodologiaADAALGOL 60 compilation and assessment