
Formal Methods
An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic
Sinopse
Sobre este livro
- Língua:English
- ISBN:9789401032698
- Data de lançamento:22 de jan. de 2015
- Editora:Springer Netherlands
- Impressão:Springer
- Formato de ficheiro:EPUB2
- Tamanho do ficheiro:7.76 MB
- Opções de transferência:EPUB2 (Adobe DRM)





































































