Telecharger Cours

LOGIC IN COMPUTER SCIENCE: Modelling and Reasoning about ...

Formal methods have finally come of age! Specification languages, theorem provers, and model checkers are beginning to be used routinely in industry.



Download