544464
9781402070259
This text introduces important modelling and formal verification techniques for verifying the reliability and correctness of high-assurance software systems.Juan, Eric Y. T. is the author of 'Compositional Verification of Concurrent and Real-Time Systems' with ISBN 9781402070259 and ISBN 140207025X.
[read more]