A practical theory of reactive systems : incremental modeling of dynamic behaviors


R. Kurki-Suonio
Bok Engelsk 2005 Reino Kurki-Suonio
Utgitt
Berlin : Springer , c2005
Omfang
XXII, 418 s.
Emner
ISBN
3540233423

Bibliotek som har denne