specification and seamless verification of embedded real-time systems,focus on isabelle

Name: specification and seamless verification of embedded real-time systems,focus on isabelle
Price: 100795 ARS
Availability: InStock
Author: maria spichkova