LEADER 00000    a2200301 a 4500 
001    15663395 
003    OCoLC 
008    091112s2009    enka     b    001 0 eng   
010    2009497227 
020    9780521899116 
020    0521899117 
040    DLC|cDLC|dBTCTA|dYDXCP|dBWK|dUKM|dBWKUK|dFDA|dGBVCP|dEUM 
049    |lkt 
050 00 QA76.76.D47|bF59 2009 
100 1  Fitzgerald, John,|d1965- 
245 10 Modelling systems :|bpractical tools and techniques in 
       software development /|cJohn Fitzgerald and Peter Gorm 
       Larsen. 
250    2nd ed. 
260    Cambridge ;|aNew York :|bCambridge University Press,
       |c2009. 
300    xvi, 288 p. :|bill. ;|c26 cm. 
504    Includes bibliographical references (p. 277-281) and 
       indexes. 
505 0  Constructing a model -- VDMTools lite -- Describing system
       properties using logical expressions -- The elements of a 
       formal model -- Sets -- Sequences -- Mappings -- Recursive
       structures -- Validating models -- State-based modelling -
       - Large-sc 
520 8  'Modelling Systems' provides an insight into established 
       techniques which help developers to overcome the 
       complexity of software development by constructing models 
       of software systems in early design stages. 
650  0 Computer software|xDevelopment. 
700 1  Larsen, P. G.|q(Peter Gorm),|d1964- 
907    .b15663395|b10-06-15|c01-20-12 
945    QA76.76.D47|bF59 2009|g0|i37522005470570|j0|on|p0.00|q-|r-
       |s-|t0|u1|v0|w0|x0|y.i15014745|z02-15-12|llsf 
945    QA76.76.D47|bF59 2009|g0|i37522005470588|j0|on|p0.00|q-|r-
       |s-|t0|u1|v0|w0|x0|y.i15130691|z04-29-12|llsf 
998    ccq|b01-20-12|cm|db|en|feng|genk|h0