
Formal Methods
An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic
簡介
關於本書
- 語言:English
- ISBN:9789401032698
- 發行日期:2015年1月22日
- 出版商:Springer Netherlands
- 出版單位:Springer
- 檔案格式:EPUB2
- 檔案大小:7.76 MB
- 下載選項:EPUB2 (Adobe DRM)





































































