Real-Time Database Systems: Fundamentals, Architectures and Applications by Pedr
66,32 €
Raul E. Gonzalez Torres received his PhD in Mathematics from the University of Houston in 1987. His research interests are Formal Software Verification, Automatic Theorem Proof, Demonstration Theory for non-classical Logics and Applications of Logic in Engineering and Computing.
Jetzt bei Ebay:
