Mark Ryan has written at least 10 books. Their most popular book is Logic in Computer Science: Modelling and Reasoning About Systems with 3 saves with an average rating of 3⭐.
1999 • 3 Readers • 427 pages • 3
2014 • 2 Readers
1 Reader
2017 • 1 Reader • 160 pages • 5
2004 • 232 pages
2017 • 263 pages
2020 • 262 pages
2008 • 256 pages
2016 • 391 pages