Normal view MARC view ISBD view

Modelling computer systems : [electronic resource] mathematics of computer science /

Moller, Faron, 1962-

Modelling computer systems : mathematics of computer science / [electronic resource] Faron Moller, Georg Struth. - New York : Springer, 2013 - 1 online resource : illustrations.

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

ISBN: 9781848003224 (E-book)

Subjects--Topical Terms:
COMPUTER SCIENCE--MATHEMATICS

LC Class. No.: QA 76.9.M35 / M64M 2013

Place hold
Print
Cite
Add to your cart (remove)
Report a concern
Send to device
Save record
BIBTEX Dublin Core MARCXML RIS MARC (Unicode/UTF-8)
More searches
Search for this title in:
Find Books from Google Book Find Papers from Google Scholar Online Stores (Bookfinder.com) Citation Machine: APA style EasyBib: MLA style

Share this title: