Faron Moller – författare
Visar alla böcker från författaren Faron Moller. Handla med fri frakt och snabb leverans.
3 produkter
Modelling Computing Systems
Mathematics for Computer Science
Häftad, 2013
458 kr
Lägg i varukorg
This engaging text presents the fundamental mathematics and modelling techniques for computing systems in a novel and light-hearted way, which can be easily followed by students at the very beginning of their university education. Key concepts are taught through a large collection of challenging …
Modelling Computing Systems
Mathematics for Computer Science
E-bok, 2013
440 kr
Lägg i varukorg
This engaging text presents the fundamental mathematics and modelling techniques for computing systems in a novel and light-hearted way, which can be easily followed by students at the very beginning of their university education. Key concepts are taught through a large collection of challenging …
Logics for Concurrency
Structure versus Automata
Av Faron Moller, Graham Birtwistle
Häftad, 1996
569 kr
Lägg i varukorg
This book presents five tutorial-style lectures on various approaches to the problem of verifying distributed systems: three chapters concentrate on linear-time or branching-time temporal logics; one addresses process equivalence with an emphasis on infinite-state systems; and the final one …
