Unifying theories of programming

Saved in:
Bibliographic Details
Main Author: HoarelhC.A.R. ( Charles Anthony Richard )
Other Authors: He
Format: Book
Published: LondonlbPrentice halllc1998
Subjects:
Tags: Add Tag
No Tags, Be the first to tag this record!

MARC

LEADER 00000pam a2200000 4500
001 8373
003 MY-KLNDU
005 20241218052656.0
020 0 0 |a 0134587618 
035 |a 0000010752 
039 9 |y 200910081501  |z VLOAD 
090 0 0 |a QA 76.6.  |b H5735 1998 
100 1 0 |a HoarelhC.A.R. ( Charles Anthony Richard ) 
245 1 0 |a Unifying theories of programming  |c C.A.R. Hoare, He Jifeng 
260 0 0 |a LondonlbPrentice halllc1998 
300 |a ziz, 298p  |c 24cm 
500 0 0 |a Includes bibliographical references and index 
650 0 0 |a Electronic digital computers  |x Programming 
700 1 1 |a He  |h Jifeng 
999 |a vtls000008741  |c 8373  |d 8373