Formal Methods for Discrete-Time Dynamical Systems Mehr ähnliche Bücher

Application and Theory of Petri Nets and Concurrency

SSA-based Compiler Design