Browsing “Compilers” for "cedar" (Showing 1 - 2 of 2 results)

Subjects

  • MATLAB Linear Algebra

    by Cesar Lopez
    • Format: Reflowable
    • From $15.00 USD

  • Theorem Proving in Higher Order Logics

    21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings
    by Ait Mohamed Otmane; Sofiene Tahar; César Muñoz
    • Edition: 1st
    • Format: Fixed
    • From $16.50 USD
Showing 1 - 2 of 2 results