TY  - DATA
AU  - Moller,Faron
AU  - Struth, Georg
TI  - Modelling computer systems: mathematics of computer science 
SN  - 9781848003224 (E-book)
AV  - QA 76.9.M35 M64M 2013
PY  - 2013///
CY  - New York
PB  - Springer
KW  - COMPUTER SCIENCE
KW  - MATHEMATICS
N1  - Includes index; Mathematics for Computer Science -- Propositional Logic -- Boolean Algebras and Circuits -- Proof Strategies -- Relations -- Proofs by Induction -- Modelling Computing Systems -- Modelling Processes -- Logical Properties of Processes -- Temporal Properties
UR  - https://drive.google.com/file/d/1qflv-H6Q53AX681AFLlU_ffaURLYufst/view?usp=sharing
ER  -