Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Modelling computing systems. Mathematics for computer science - MaRDI portal

Modelling computing systems. Mathematics for computer science

From MaRDI portal

Publication:355066

Jump to:navigation, search

DOI10.1007/978-1-84800-322-4zbMath1278.68007OpenAlexW2484712127WikidataQ59556918 ScholiaQ59556918MaRDI QIDQ355066

Faron Moller, Georg Struth

Publication date: 23 July 2013

Published in: Undergraduate Topics in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-1-84800-322-4

zbMATH Keywords

discrete mathematics Boolean algebra propositional logic temporal logic concurrent processes transition systems predicate logic

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Logic in computer science (03B70) Discrete mathematics in relation to computer science (68Rxx)

This page was built for publication: Modelling computing systems. Mathematics for computer science

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:355066&oldid=12228505"