{"product_id":"faron-moller-modelling-computing-systems-9781848003217","title":"Modelling Computing Systems","description":"Introduction.- Part I: Mathematics for Computer Science.- Propositional Logic.- Sets.- Boolean Algebras and Circuits.- Predicate Logic.- Proof Strategies.- Functions.- Relations.- Inductive and Recursive Definitions.- Proofs by Induction.- Games and Strategies.- Part II: Modelling Computing Systems.- Modelling Processes.- Distinguishing Between Processes.- Logical Properties of Processes.- Concurrent Processes.- Temporal Properties.","brand":"Springer","offers":[{"title":"Default Title","offer_id":54333309747542,"sku":null,"price":0.0,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0925\/5829\/5382\/files\/product_image_9781848003217_1.jpg?v=1791080581","url":"https:\/\/www.momoxbooks.com\/products\/faron-moller-modelling-computing-systems-9781848003217","provider":"momox","version":"1.0","type":"link"}