دانلود کتاب Formal Modeling and Analysis of Timed Systems: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings
توضیحات
معرفی کتاب Formal Modeling and Analysis of Timed Systems: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings
کتاب Formal Modeling and Analysis of Timed Systems: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings نوشته Tarek Abdelzaher (auth.), Krishnendu Chatterjee, Thomas A. Henzinger (eds.) یکی از آثار مهم در حوزه مربوطه محسوب میشود. این کتاب حاوی مطالب ارزشمند و مفیدی است که برای علاقهمندان به این موضوع بسیار مناسب میباشد.
درباره کتاب Formal Modeling and Analysis of Timed Systems: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings
این اثر با بهرهگیری از تجربیات و دانش نویسنده، مطالب جامع و کاربردی را در اختیار خوانندگان قرار میدهد.
دانلود کتاب Formal Modeling and Analysis of Timed Systems: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings را از طریق سایت سایبر یونی تجربه کنید.
پرفروشترین کتاب ها
Entertainment Computing – ICEC ۲۰۰۴: Third International Conference, Eindhoven, The...
نویسنده:
Craig A. Lindley...
سال انتشار:
۲۰۰۴
Principles of concurrent and distributed programming: algorithms and models
نویسنده:
Ben-Ari M.
سال انتشار:
۲۰۰۶
Structured Computer Organization
نویسنده:
Andrew S. Tanenbaum
سال انتشار:
۱۹۹۸
نوشتن دیدگاه
دیدگاه های شما
دیدگاهی وجود ندارد