Formal Methods in Software and Systems Modeling : Essays Dedicate

Formal Methods in Software And Systems Modeling, Paperback by Kreowski, Hans-...

Modeling and Simulation Hardcover Hartmut Bossel

Concurrent Programming, Open Systems and Formal Methods: Essays Dedicated to Gul

Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehr

Formal Modeling : Actors; Open Systems, Biological Systems, Essays Dedicated ...