High-Confidence Computing - Netherlands Elsevier

2667-2952


Electronic computers. Computer science
Instruments and machines
Mathematics
Science