Mechanized reasoning and hardware design /

Bibliographic Details
Other Authors: Hoare, Charles Antony Richard, 1934- (ed.), Gordon, Michael J. C., 1948- (ed.,)
Format: Book
Language:English
Published: New York : Prentice-Hall, 1992.
Series:Prentice-Hall international series in computer science
Subjects:

MARC

LEADER 00000nam a2200000 4500
003 AR_CdUFM
005 20190822145954.0
008 100813s1992 nyu||||| |||| 00| 0 eng d
020 |a 0135724058 
040 |a AR_CdUFM 
245 0 0 |a Mechanized reasoning and hardware design /   |c ed. Charles Antony Richard Hoare, Michael J. C. Gordon /  
260 |a New York :   |b Prentice-Hall,   |c 1992. 
300 |a 151 p. :  |b il. ;  |c 25 cm. 
490 0 |a Prentice-Hall international series in computer science 
504 |a  Includes bibliographical references. 
650 4 |a Estilos de diseño. 
650 4 |a Design styles. 
700 1 |a Hoare, Charles Antony Richard,  |d 1934-  |e ed.  |9 7652 
700 1 |9 6546  |a Gordon, Michael J. C.,   |e ed.,  |d 1948- 
942 |c LIBRO 
945 |a AB 
952 |0 0  |1 0  |2 CCS  |4 0  |6 C_B21_M486  |7 0  |9 7092  |a MMA  |b MMA  |c 4  |d 2008-06-09  |e FOMEC/Comp.  |l 0  |o C B2.1 M486   |p 13812  |r 2023-01-24 00:00:00  |w 2008-06-09  |y LIBRO 
999 |c 5347  |d 5347