Modeling of Dynamic Object Systems: A Logic-Based Approach (Vieweg Advanced Studies Of Computer Science) (Vieweg Advanced Studies in Computer Science)
Dieses Buch führt in die logikbasierte Analyse dynamischer Objektsysteme ein, zeigt, wie Zustandsänderungen formal erfasst werden können, und verkn ...