×
  • All About Maude - A High-Performance Logical Framework: How to Specify, Program and Verify Systems in Rewriting Logic

    Manuel Clavel Francisco Durán Steven Eker Patrick Lincoln Narciso Martí-Oliet José Meseguer Carolyn Talcott (auth.)

Click on cover to enlarge.
18 - 20Hours to read