Behavioural types :  from theory to tools / 
editors, Simon Gay, University of Glasgow, UK, Antonio Ravara, Universidade Nova de Lisboa, Portugal. 
 - 1 online resource (412 pages) :  illustrations (some color). 
 - River Publishers series in automation, control and robotics .
 - River Publishers series in automation, control and robotics. .
<br/><br/>Includes bibliographical references and index. 
<br/><br/><label>ISBN: </label>9788793519817 (e-book) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Programming languages (Electronic computers)
<br/><br/><label>Index Terms--Genre/Form: </label><br/>Electronic books.
<br/><br/><label>LC Class. No.: </label>QA76.7  / .B44 2017