
Formal Methods
An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic
Synopse
O knize
- Jazyk:English
- ISBN:9789401032698
- Datum vydání:22. 1. 2015
- Vydavatel:Springer Netherlands
- Tiráž:Springer
- Formát souboru:EPUB2
- Velikost souboru:7.76 MB
- Možnosti stahování:EPUB2 (Adobe DRM)


































































