A Practical Theory of Reactive Systems Incremental Modeling of Dynamic Behaviors
Record details
- ISBN: 9783540273486
- Physical Description: XXII, 418 p. 112 illus. online resource.
- Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
Search for related items by subject
Subject: | Computer science. Software engineering. Logic design. Computer Science. Logics and Meanings of Programs. Software Engineering. |