Program Specificationde J. StaunstrupEdiciones (1)Program Specification (1982)Springer · inglés · ISBN 9783540114901Más obras de J. StaunstrupProgram specificationHardware/software co-designFormal methods for VLSI designS