دانلود کتاب Formal Program Development: IFIP TC2/WG 2.1 State-of-the-Art Report
معرفی کتاب Formal Program Development: IFIP TC2/WG 2.1 State-of-the-Art Report
کتاب Formal Program Development: IFIP TC2/WG 2.1 State-of-the-Art Report نوشته Bernhard Möller, Helmut A. Partsch, Stephen A. Schuman (auth.), Bernhard Möller, Helmut Partsch, Steve Schuman (eds.) یکی از آثار مهم در حوزه مربوطه محسوب میشود. این کتاب حاوی مطالب ارزشمند و مفیدی است که برای علاقهمندان به این موضوع بسیار مناسب میباشد.
درباره کتاب Formal Program Development: IFIP TC2/WG 2.1 State-of-the-Art Report
این اثر با بهرهگیری از تجربیات و دانش نویسنده، مطالب جامع و کاربردی را در اختیار خوانندگان قرار میدهد.
دانلود کتاب Formal Program Development: IFIP TC2/WG 2.1 State-of-the-Art Report را از طریق سایت سایبر یونی تجربه کنید.
Sriram K. Rajamani...
۲۰۱۱
Caudron R., Nicq...
None
Shiping Chen, Duminda...
۲۰۰۴