
Formal Methods
An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic
Sammendrag
Om denne boken
- Språk:English
- ISBN:9789401032698
- Utgivelsesdato:22. jan. 2015
- Forlag:Springer Netherlands
- Trykk:Springer
- Filformat:EPUB2
- Filstørrelse:7.76 MB
- Nedlastingsalternativer:EPUB2 (Adobe DRM)





































































