
Formal Methods
An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic
Synopsis
Om denne bog
- Sprog:English
- ISBN:9789401032698
- Udgivelsesdato:22. jan. 2015
- Udgiver:Springer Netherlands
- Tryk:Springer
- Filformat:EPUB2
- Filstørrelse:7.76 MB
- Downloadmuligheder:EPUB2 (Adobe DRM)


































