Certified Programs And Proofs First International Conference Cpp 2011 Kenting Taiwan December 79 2011 ProceedingsZhong Shao

Certified Programs And Proofs First International Conference Cpp 2011 Kenting Taiwan December 79 2011 Proceedings

Zhong Shao · 2011

איפה לקנות

המחיר באמזון משתנה מדי יום, אז הכי נכון לראות אותו שם ברגע הקנייה.

לצפייה באמזון

פרטי הספר

שנה: 2011
הוצאה: Springer
מהדורות: 1
ISBN: 9783642253782

מקור הנתונים: Wikidata

עוד של Zhong Shao

Proceedings of the 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming LanguagesZhong Shao

Proceedings of the 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

Zhong Shao · 2009

Damp'09Zhong Shao

Zhong Shao · 2009

Programming Languages and SystemsZhong Shao

Programming Languages and Systems

Zhong Shao · 2007

Zhongguo Su pai pen jing ming jia jiZhong Shao

Zhongguo Su pai pen jing ming jia ji

Zhong Shao · 2005

Suzhou gu dian yuan lin yi shuZhong Shao

Suzhou gu dian yuan lin yi shu

Zhong Shao · 2001

Huan cheng yuan ting meng SuzhouZhong Shao

Huan cheng yuan ting meng Suzhou

Zhong Shao · 2007

Wu zhong ming xian zhuan zanZhong Shao

Wu zhong ming xian zhuan zan

Zhong Shao · 1997

Suzhou pen jing ji yiZhong Shao

Suzhou pen jing ji yi

Zhong Shao · 1989