Hardware and software: The closing gap

Publisher Website

1 January 1994

book chapter
Published by Springer Nature

p. 49-68
https://doi.org/10.1007/3-540-57840-4_24

Abstract

No abstract available

Keywords

This publication has 2 references indexed in Scilit:

Laws of programming
Communications of the ACM, 1987
A constructive approach to the problem of program correctness
BIT Numerical Mathematics, 1968