《PROGRAMMING LOGICS AN INTERODUCTION TO VERIFICATION AND SEMANTICS》
| 作者 | RAYMOND D.GUMB 编者 |
|---|---|
| 出版 | JOHN SILEY AND SONS |
| 参考页数 | 334 |
| 出版时间 | 没有确切时间的资料 |
| ISBN号 | 无 — 求助条款 |
| PDF编号 | 819573668（仅供预览，未存储实际文件） |
| 求助格式 | 扫描PDF（若分多册发行，每次仅能受理1册） |
《PROGRAMMING LOGICS AN INTERODUCTION TO VERIFICATION AND SEMANTICS》由于是年代较久的资料都绝版了，几乎不可能购买到实物。如果大家为了学习确实需要，可向博主求助其电子版PDF文件（由RAYMOND D.GUMB JOHN SILEY AND SONS 出版的版本） 。对合法合规的求助，我会当即受理并将下载地址发送给你。
高度相关资料
-
- AN INTRODUCTION TO FORMAL PROGRAM VERIFICATION
- 1985 VAN NOSTRAND REINHOLD COMPANY
-
- MEANING AND GRAMMAR AN INTRODUCTION TO SEMANTICS
- 1990年 THE MIT PRESS
-
- SCIENCE AND TECHNOLOGY AN INTERODUCTION TO THE LITERATURE FOURTH EDITION
- CLIVE BINGLEY LONDON
-
- Mathematical programming : an introduction to optimization
- 1986 M. Dekker
-
- Linear and nonlinear programming : an introduction to linear methods in mathematical programming
- 1985 E. Horwood ; New York : Halstead Press
-
- LOGICS AND LANGUAGES
- 1973 ROUTLEDGE TAYLOR & FRANCIS GROUP
-
- AN INTRODUCTION TO LINEAR PROGRAMMING
- 1985 WILEY
-
- Logic programming operational semantics and proof theory
- 1992 Cambridge University Press
-
- An introduction to programming an object-oriented approach with C++
- 1998 WCB McGraw-Hill
-
- USING C++ AN INTRODUCTION TO PROGRAMMING
- 1998 PWS PUBLISHING COMPANY
-
- SCIENCE AND SANITY AN INTRODUCTION TO NON-ARISTOTELIAN SYSTEMS AND GENERAL SEMANTICS
- 1933 THE INTERNATIONAL NON-ARISTOTELIAN LIBRARY PUBLISHING COMPANY
-
- FORMAL SYNTAX AND SEMANTICS OF PROGRAMMING LANGUAGES:A LABORATORY BASED APPROACH
- 1995 ADDISON-WESLEY PUBLISHING COMPANY
提示：百度云已更名为百度网盘（百度盘），天翼云盘、微盘下载地址……暂未提供。➥ PDF文字可复制化或转WORD