Verification of Reactive Systems: Formal Methods and Algorithms by Klaus Schneid
67,86 €
Klaus Schneider is working since 10 years on the specification and verification of reactive systems. Starting as a research assistant in 1992 at the university of Karlsruhe, he worked on the verification of hardware circuits with higher order logic theorem provers.
Jetzt bei Ebay:
