Lecture Notes in Computer Science 3639 Model Checking Software 12th International SPIN Workshop 相关电子书下载

ANDREW D.MCGETTRICK PETER D.SMITH2222 年出版314 页ISBN：0201137879

DAVID C.SABISTON1981 年出版2540 页ISBN：0721678777

edited by Annette Freyberg-Inan2017 年出版216 页ISBN：

Visakh P.M2014 年出版451 页ISBN：

Elies Van Sliedregt and Sergey Vasiliev2014 年出版435 页ISBN：0198703198

MICHAEL GRUSON STEPHAN HUTTER MICHAEL KUTSCHERA1997 年出版297 页ISBN：9041199020

J.P.B.ALLEN H.G.WIDDOWSON1974 年出版144 页ISBN：0194375102

Fred R.Payne Constantin C.Corduneanu A.Haji-Sheikh Tseng Huang（University of Texas at Arlington2222 年出版653 页ISBN：3540163085

（美）尼尔·雷克汉姆（Neil Rackham）著；石晓军译2001 年出版249 页ISBN：7801475526

本书告诉你有效的销售方法，通过自我培训成为销售专家。

Joseph Turow2017 年出版445 页ISBN：9781138928466