Ma bibliothèque

LEADER 00000nam  2200000 a 4500 
001    1871516986 
008    020627s1999    enk      b    001   eng   
010    99231240 
020    1871516986 
040    UKM|cUKM|dDLC 
050  4 QA76.6|b.W553 1999 
100 1  Windeknecht, Thomas G. 
245 10 Logical derivation of computer programs /|cThomas G. 
       Windeknecht. 
260    Exeter, England :|bIntellect,|cc1999. 
300    ii, 208 p ;|c24 cm. 
504    Includes bibliographical references (p. 179-180) and 
       index. 
650  0 Computer programming|xMathematics.