Gerard O Regan <br/><br/>
Concise guide to formal methods  Theory, fundamentals and industry applications 

 - Switzerland  Springer Publishing Company 
 - Soft Binding  xxiii     332 
<br/><br/><br/>English 
<br/><br/><label>ISBN: </label>9780000000000 
<br/><br/><label>Dewey Class. No.: </label>004.0151 REG-C