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

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

رای میدهم ♥
×
  • Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness: REX Workshop, Mook, The Netherlands May 29 – June 2, 1989 Proceedings

    Martín Abadi Leslie Lamport (auth.) J. W. de Bakker W. -P. de Roever G. Rozenberg (eds.)

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