Bjorner, Dines  1937- <br/><br/>
Software engineering  2/ 
D. Bjørner. 
 - Berlin ;  New York :  Springer,  2006- 
 - 777 p. :  ill. ;  24 cm. 
 - Texts in theoretical computer science .
<br/><br/>Includes bibliographical references and indexes. 
<br/><br/>1. Abstraction and modelling -- 2. Specification of systems and languages --  3. Domains, requirements, and software design. 
<br/><br/><label>ISBN: </label>9788181287854 3540211500 (v. 2) 
<br/><br/><label>LCCN: </label>2005936100 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Software engineering.--Computer, MIS<br/>Computer programming.
<br/><br/><label>LC Class. No.: </label>QA76.758  / .B56 2006 
<br/><br/><label>Dewey Class. No.: </label>005.1 BJO