Verification of Sequential and Concurrent Programs Second Edition 相关电子书下载

ROBERT A.GREENBERG WILLIAM BOWMAN PIPER2222 年出版721 页ISBN：0393094152

A.PRUSS E.GIROULT P.RUSHBROOK1999 年出版230 页ISBN：9241545259

TRANSFERENCE2016 年出版253 页ISBN：9781509500499

XIAO LING DING DANG2007 年出版116 页ISBN：9787539138503

本书用充满奇幻的笔调展示出一个全新的仙境世界，仙子们住在花朵里，每天晚上，当人们都睡了以后，仙子们就出动了，他们飞到睡梦中的人身边，从他们的耳朵眼里注入各种各样的气息，比如善良、勇敢、自私、贪婪等等，......

BERNADETTE J.SAUNDERS AND CHRIS GODDARD2010 年出版274 页ISBN：9780470727065

宋学军编著2005 年出版213 页ISBN：

方鸣主编2012 年出版131 页ISBN：

梁仲明编著2013 年出版231 页ISBN：

赵云怡主编1990 年出版0 页ISBN：

赵建敏主编；北京天主教与文化研究所编2010 年出版476 页ISBN：