در نهمین جشنواره وب ایران از لیب دی ال حمایت کنید!

این پنجره فقط یک مرتبه به شما نمایش داده می شود. پس همین الان اقدام کنید :)

رای میدهم ♥
×
  • 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