Specification and Verification of Declarative Open Interaction Models - A Logic-Based Approach

Titelbild

Bitte beachten Sie:

Die dargestellten Bilddaten sollen Ihnen einen ersten Eindruck vom Aussehen des Buches vermitteln. Die gelieferten eBooks haben eine noch bessere Auflösung.