ZB 2002：Formal Specification and Development in Z and B

下载此书RAR压缩包在线购买PDF电子书

2222 年出版535 页ISBN：3540431667

Lecture Notes in Computer Science 3236 Applying Formal Methods:Testing

下载此书RAR压缩包在线购买PDF电子书

Performance2222 年出版0 页ISBN：

LECTURE NOTES IN MATHEMATICS 1093: LECTURES ON FORMALLY REAL FIELDS

下载此书RAR压缩包在线购买PDF电子书

1984 年出版129 页ISBN：3540138854;0387138854

Gender Across Languages Volume 4

下载此书RAR压缩包在线购买PDF电子书

Marlis Hellinger，Heiko Motschenbacher2015 年出版415 页ISBN：9789027218780

SYMBOLIC LANGUAGES IN DATA PROCESSING

下载此书RAR压缩包在线购买PDF电子书

1962 年出版849 页ISBN：

DECISION TABLE LANGUAGES AND SYSTEMS

下载此书RAR压缩包在线购买PDF电子书

1977 年出版172 页ISBN：0124920500

Programming Languages for Industrial Robots

下载此书RAR压缩包在线购买PDF电子书

1986 年出版378 页ISBN：3540163190

PROGRAMMING LANGUAGES：Paradigm and Practice

下载此书RAR压缩包在线购买PDF电子书

2222 年出版458 页ISBN：0075579049

MM TEXTBOOKS TEACHING LANGUAGES ONLINE

下载此书RAR压缩包在线购买PDF电子书

2010 年出版199 页ISBN：1847692726

LANGUAGES IN MIGRATORY SETTINGS PLACE

下载此书RAR压缩包在线购买PDF电子书

POLITICS2016 年出版134 页ISBN：