
Formal Methods
An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic
Kurzbeschreibung
Zu diesem Buch
- Sprache:English
- ISBN:9789401032698
- Erscheinungsdatum:22. Jan. 2015
- Herausgeber:Springer Netherlands
- Imprint:Springer
- Dateiformat:EPUB2
- Dateigröße:7.76 MB
- Downloadoptionen:EPUB2 (Adobe DRM)





































































