004.0151 <br/>
Kurki-Suonio, Reino. <br/>
       A Practical Theory of Reactive Systems : Incremental Modeling of Dynamic Behaviors /  [electronic resource] : 
 / by Reino Kurki-Suonio. 
 .- XXI, 420 p..  online resource. 
  ** Texts in Theoretical Computer Science An EATCS Series  )
<br/><label>LC Class. No.: </label>QA75.5-76.95 
 - Texts in Theoretical Computer Science An EATCS Series .
<br><u>ISBN:</u> 9783540273486 
<br/><label>Standard No.: </label>10.1007/b138956  doi 
<br/><u>Subject Headings:</u> <br/>Computer science.;<br/>Software engineering.;<br/>Computers.;<br/>Computer logic.;<br/>Computer Science.;<br/>Theory of Computation.;<br/>Logics and Meanings of Programs.;<br/>Software Engineering.;
<br><U>Copy Details:</u><br> Acc. No.: <b>EBK385</b>, Full Call No.: ,   Item type:  E books , Location: , <br><b>------------------------- --------------------- ------ --------- ------- ------- --------- -------- </b><br>