FORMAL SPECIFICATION AND DESIGN

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

1992 年出版335 页ISBN：0521435927

Lecture Notes in Computer Science 4085 FM 2006:Formal Methods 14th International Symposium on Formal

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

2006 年出版620 页ISBN：3540372156

Formal Semantics：An Introduction

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

（英）卡恩2010 年出版344 页ISBN：

PRIMALITY TESTING AND ABELIAN VARIETIES OVER FINITE FIELDS

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

1992 年出版142 页ISBN：3540553088;0387553088

FORMAL MODELS IN PROGRAMMING

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

ELSEVIER SCIENCE PUBLISHING COMPANY1985 年出版425 页ISBN：

Formal Methods for Interactive Systems

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

1991 年出版369 页ISBN：0122183150

FORMALISM AND THE FREUDIAN AESTHETIC

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

1984 年出版249 页ISBN：0521263026

FORMAL LOGIC A PHILOSOPHICAL APPROACH

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

PAUL2004 年出版254 页ISBN：

COMPUTER PROGRAMMING AND FORMAL SYSTEMS

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

P. BRAFFORT AND D. HIRSCHBERG1963 年出版161 页ISBN：

LECTURE NOTES IN MATHEMATICS 1566: DIOPHANTINE APPROXIMATION AND ABELIAN VARIETIES

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

1993 年出版131 页ISBN：3540575286;0387575286