Bj²rner, D.,  1937- <br/><br/>
Software engineering / 
D. Bj²rner. 
 - 3 v. :  ill. ;  24 cm 
 - Texts in theoretical computer science .
<br/><br/> Textbook for graduates  "With 151 Figures and 27 Tables." 
<br/><br/>
<br/><br/> Abstraction and modelling --  Specification of systems and languages --  Domains, requirements, and software design  1.  2.  3. 
<br/><br/><label>ISBN: </label>3540211519 (v. 3 : cloth) 3540211500 (v. 2 : cloth) 3540211497 (v. 1 : hd.bd.) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Software engineering<br/>Yazılım mühendisliği<br/>Formal methods (Computer science)<br/>Biçimsel metodlar (Bilgisayar bilimi)
<br/><br/><label>LC Class. No.: </label>QA76.758  / .B56 2006