005.115  / B557s <br/>
Bjorner, D. <br/>
       Software engineering [Vol 1-3] 
 / D. Bjorner 
 .- Berlin: Springer-Verlag,  2006 
 .- various pagings. 
.- ( Texts in theoretical computer science an EATCS series   
  ** / edited by W. Brauer, G. Rosenberg and A. Salomaa  )
<br/>Contents : v. 1. Abstraction and modelling . - v. 2. Specification of systems and languages .- v. 3. Domains, requirements, and software design 
<br><u>ISBN:</u> 3540211497(v.1) 3540211500(v.2) 3540211519(v.3 
<br/><u>Subject Headings:</u> <br/>Software Engineering;<br/>Computer Software -- Development;
<br><U>Copy Details:</u><br> Acc. No.: <b>A156181</b>, Full Call No.: 005.115 B557s v.1,   Item type:  Books , Location: COMPACT STORAGE (BASEMENT), v.1. Abstraction and modelling .<br><b>------------------------- --------------------- ------ --------- ------- ------- --------- -------- </b><br>Acc. No.: <b>A156182</b>, Full Call No.: 005.115 B557s v.2,   Item type:  Books , Location: COMPACT STORAGE (BASEMENT), v.2. Specification of systems and languages <br><b>------------------------- --------------------- ------ --------- ------- ------- --------- -------- </b><br>Acc. No.: <b>A156183</b>, Full Call No.: 005.115 B557s v.3,   Item type:  Books , Location: General Stacks, v.3 Domains, requirments, and software design<br><b>------------------------- --------------------- ------ --------- ------- ------- --------- -------- </b><br>