Book titles in this series

  1. Software Engineering with OBJ

    Algebraic Specification in Action

    Editors:
    • Joseph A. Goguen
    • Grant Malcolm
    • Copyright: 2000

    Available Renditions

    • Hard cover
    • Soft cover
    • eBook

  2. Computer-Aided Reasoning

    ACL2 Case Studies

    Editors:
    • Matt Kaufmann
    • Panagiotis Manolios
    • J Strother Moore
    • Copyright: 2000

    Available Renditions

    • Hard cover
    • Soft cover
    • eBook

  3. Computer-Aided Reasoning

    An Approach

    Authors:
    • Matt Kaufmann
    • Panagiotis Manolios
    • J Strother Moore
    • Copyright: 2000

    Available Renditions

    • Hard cover
    • Soft cover
    • eBook

  5. Computer-Aided Reasoning

    ACL2 Case Studies

    Editors:
    • Matt Kaufmann
    • Panagiotis Manolios
    • J Strother Moore
    • Copyright: 2000

    Available Renditions

    • Book