004.0151
Kurki-Suonio, Reino.
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 )
QA75.5-76.95 - Texts in Theoretical Computer Science An EATCS Series .
ISBN: 9783540273486
10.1007/b138956 doi
Subject Headings:
Computer science.;
Software engineering.;
Computers.;
Computer logic.;
Computer Science.;
Theory of Computation.;
Logics and Meanings of Programs.;
Software Engineering.;
Copy Details:
Acc. No.: EBK385, Full Call No.: , Item type: E books , Location: ,
------------------------- --------------------- ------ --------- ------- ------- --------- --------
Kurki-Suonio, Reino.
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 )
QA75.5-76.95 - Texts in Theoretical Computer Science An EATCS Series .
ISBN: 9783540273486
10.1007/b138956 doi
Subject Headings:
Computer science.;
Software engineering.;
Computers.;
Computer logic.;
Computer Science.;
Theory of Computation.;
Logics and Meanings of Programs.;
Software Engineering.;
Copy Details:
Acc. No.: EBK385, Full Call No.: , Item type: E books , Location: ,
------------------------- --------------------- ------ --------- ------- ------- --------- --------