Alagic, Suad. <br/><br/>
Software engineering :  specification, implementation, verification / 
Suad Alagic. 
 - Cham, Switzerland  Springer  2017 
 - xiii, 178 pages 
<br/><br/><label>ISBN: </label>9783319615172 
<br/><br/><label>LCCN: </label>2017945084 
<br/><br/><label>Dewey Class. No.: </label>005.1 ALA  / ALA