
Formal Methods
An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic
Synopsis
Over dit boek
- Taal:English
- ISBN:9789401032698
- Lanceringsdatum:22 jan 2015
- Uitgever:Springer Netherlands
- Imprint:Springer
- Bestandsformaat:EPUB2
- Bestandsgrootte:7.76 MB
- Downloadopties:EPUB2 (Adobe DRM)





































































