Formal methods for software engineering   languages, methods, application domains 

 - Switzerland  Springer Nature  2022 
 - xxviii, 524 p.  : ill. Col.  ; 23 cm. 
<br/><br/> Text in theoretical computer science.<br/>an EATCS series  Includes appendices and index.  
<br/><br/><label>ISBN: </label>9783030388027 (pbk) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Software Engineering --Formal languages --Computer interaction --Security protocols --Application domains --FC
<br/><br/><label>Dewey Class. No.: </label>005.1  / FOR