Program specificationde J. StaunstrupMateriasSpecificationsCongressesComputer programsSpezifikationKWICLangage programmationLangage spécificationProgrammierungProgramme distribuéSpécification programmeCongrèsTECTONEdiciones (1)Program specification (1982)Springer-Verlag · inglésMás obras de J. StaunstrupHardware/software co-designFormal methods for VLSI designSSelf-timed designSelf-timed design