دانلود کتاب The Spine of Software: Designing Provably Correct Software: Theory and Practice or a Mathematical Introduction to the Semantics of Computer Program
توضیحات
معرفی کتاب The Spine of Software: Designing Provably Correct Software: Theory and Practice or a Mathematical Introduction to the Semantics of Computer Program
کتاب The Spine of Software: Designing Provably Correct Software: Theory and Practice or a Mathematical Introduction to the Semantics of Computer Program نوشته Robert Laurence Baber یکی از آثار مهم در حوزه مربوطه محسوب میشود. این کتاب حاوی مطالب ارزشمند و مفیدی است که برای علاقهمندان به این موضوع بسیار مناسب میباشد.
درباره کتاب The Spine of Software: Designing Provably Correct Software: Theory and Practice or a Mathematical Introduction to the Semantics of Computer Program
این اثر با بهرهگیری از تجربیات و دانش نویسنده، مطالب جامع و کاربردی را در اختیار خوانندگان قرار میدهد.
دانلود کتاب The Spine of Software: Designing Provably Correct Software: Theory and Practice or a Mathematical Introduction to the Semantics of Computer Program را از طریق سایت سایبر یونی تجربه کنید.
پرفروشترین کتاب ها
Latent Variable Models: An Introduction to Factor, Path, and Structural...
نویسنده:
John C. Loehlin
سال انتشار:
۲۰۰۳
The Geometry of Discrete Groups
نویسنده:
A.F. Beardon
سال انتشار:
۱۹۹۵
Finite Reflection Groups
نویسنده:
L.C. Grove, C.T....
سال انتشار:
۱۹۸۵
نوشتن دیدگاه
دیدگاه های شما
دیدگاهی وجود ندارد