LEADER 00000pam  22000004a 4500 
001    44549005       
003    DLC 
005    20000921090142.0 
008    000626s2000    maua     b    001 0 eng   
010    00057640 
020    079237889X (alk. paper) 
040    DLC|cDLC|dDLC 
042    pcc 
050 00 QA76.758|b.L84 2000 
100 1  Lu, Ruqian,|d1935- 
245 10 Domain modeling-based software engineering :|ba formal 
       approach /|cby Ruqian Lu, Zhi Jin. 
260    Boston, MA :|bKluwer Academic,|cc2000. 
300    xvi, 347 p. :|bill. ;|c25 cm. 
440  0 Kluwer international series on Asian studies in computer 
       and information science ;|v8. 
504    Includes bibliographical references (p. [335]-343) and 
       index. 
650  0 Software engineering. 
650  0 Formal methods (Computer science) 
700 1  Jin, Zhi,|d1962- 
LOCATION CALL # STATUS
 Main Stacks  QA76.758 .L84 2000    AVAILABLE