Faron Moller Books
Logics For Concurrency: Structure Versus Automata
By Faron Moller, Graham Birtwistle, Faron Moller, Graham Birtwistle, Eds
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; o...
Read More
Modelling Computing Systems: Mathematics For Computer Science
By Georg Struth, Faron Moller, Moller, Faron, Struth, Georg
We Have All Experienced Delays And Frustrations As A Result Of The Notorious ‘computer Glitch.’ However, The More Dependent We Become On Computational Systems In Our Daily Lives, The More We Must E...
Read More
Modelling Computing Systems
By Georg Struth, Faron Moller, Moller, Faron, Struth, Georg, Faron Moller; Georg Struth
We Have All Experienced Delays And Frustrations As A Result Of The Notorious ‘computer Glitch.’ However, The More Dependent We Become On Computational Systems In Our Daily Lives, The More We Must E...
Read More