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

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

رای میدهم ♥
×
  • Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings

    Manfred Broy (auth.) Tiziana Margaria Bernhard Steffen (eds.)

Click on cover to enlarge.
19 - 21Hours to read