Lecture Notes in Computer Science 2989 Model Checking Software 11th International SPIN Workshop
2004 年出版307 页ISBN:3540213147
Lecture Notes in Computer Science 4595 Model Checking Software 14th International SPIN Workshop
2007 年出版285 页ISBN:9783540733690
Lecture Notes in Computer Science 3925 Model Checking Software 13th International SPIN Workshop
2006 年出版305 页ISBN:3540331026
Educational Social Software for Context-Aware Learning: Collaborative Methods and Human Interaction
2010 年出版310 页ISBN:9781605668260
Lecture Notes in Computer Science 3639 Model Checking Software 12th International SPIN Workshop
2005 年出版287 页ISBN:3540281959
(美)沙赫查(Schach,S.R.)著2005 年出版392 页ISBN:7040163381
本书是第一本从头为学习系统分析与设计的学生介绍面向对象方法的教材,是第一本不使用传统的方法来介绍面向对象的主要概念的教材,是第一本不要求学生懂得Java或C++的教材。本书假设学生对过程建模或数据建模...