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

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

رای میدهم ♥
×
  • Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 Proceedings

    Gerard J. Holzmann (auth.) Tiziana Margaria Bernhard Steffen (eds.)

Click on cover to enlarge.
10 - 12Hours to read