| 000 | 01190nmm a2200289 a 4500 | ||
|---|---|---|---|
| 003 | SPU | ||
| 005 | 20210628113321.0 | ||
| 008 | 201006b2013 nyu|||||o|||| 00| 0 eng d | ||
| 020 | _a9781848003224 (E-book) | ||
| 040 | _aSPU | ||
| 049 | _amain | ||
| 050 | 4 |
_aQA 76.9.M35 _bM64M 2013 |
|
| 100 | 1 |
_aMoller, Faron, _d1962- |
|
| 245 | 1 | 0 |
_aModelling computer systems : _bmathematics of computer science / _cFaron Moller, Georg Struth. _h[electronic resource] |
| 260 |
_aNew York : _bSpringer, _c2013 |
||
| 300 |
_a1 online resource : _billustrations. |
||
| 449 | _a111113 | ||
| 504 | _aIncludes index | ||
| 505 | _aMathematics 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 | ||
| 650 | 0 |
_aCOMPUTER SCIENCE _xMATHEMATICS _939108 |
|
| 700 |
_aStruth, Georg _9242515 |
||
| 850 | _aSPU | ||
| 856 |
_uhttps://drive.google.com/file/d/1qflv-H6Q53AX681AFLlU_ffaURLYufst/view?usp=sharing _yView Full-text |
||
| 910 |
_aLibrary _bSpringer _c061020 |
||
| 942 |
_2lcc _cEBK |
||
| 998 | _ajirawan 1020 | ||
| 999 | _c198861 | ||