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

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

رای میدهم ♥
×
  • Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014

    Marco Bernardo Ferruccio Damiani Reiner Haehnle Einar Broch Johnsen Ina Schaefer

Click on cover to enlarge.
8 - 9Hours to read