Memory models
Subtitle: a formal analysis using VDM
By: A. Butterfield.
Contributors: Trinity College (Dublin, Ireland). Department of Computer Science.
Series: TCD-CS-92-27
Publisher: Trinity College, Department of Computer Science
Published: 1992
Place of publication: Dublin
Language: eng
Number of pages: 28
Subjects: Error-correcting codes (Information theory); Fault-tolerant computing.; Computer networks -- Mathematical models.