3 results
Type of media (2)
Availability (2)
Classification (2)
Year
Persons
Publishers
Sort by
Results per page
Filter
3 results

Your search for Cesar A. Munoz

  1. Cover: Theorem Proving in Higher Order Logics - Springer
    Victor A. Carreno | Cesar A. Munoz | Sofiene Tahar
    Theorem Proving in Higher Order Logics
    15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002. Proceedings
    08/2003
    Springer
    9783540456858 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  2. Cover: Theorem Proving in Higher Order Logics - Springer
    Victor A. Carreno | Cesar A. Munoz | Sofiene Tahar
    Theorem Proving in Higher Order Logics
    15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002. Proceedings
    08/2002
    Springer
    9783540440390 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  3. Cover: Rapid Prototyping in Pvs - Bibliogov
    Cesar A. Munoz | Ricky Butler
    Rapid Prototyping in Pvs
    07/2013
    Bibliogov
    9781289165420 (ISBN)
    Book
    Paperback/Softback
    €36.08
    Article not available for order