Introduction to Practical Formal Methods Using Temporal Logic Fisher, Michael Innbundet / 2011 / Engelsk
Three Pronunciations of Latin: The Claims of Each Presented, and Special Reasons Given for the Use of the English Mode (Classic Reprint) Fisher, Michael Montgomery Innbundet / 2018 / Engelsk
Chosen by the Spirit of Adoption: Re-Covering the Fatherless Fisher, Michael D. Heftet / 2016 / Engelsk
Three Pronunciations of Latin: The Claims of Each Presented, and Special Reasons Given for the Use of the English Mode (Classic Reprint) Fisher, Michael Montgomery Heftet / 2018 / Engelsk
Verifiable Autonomous Systems Using Rational Agents to Provide Assurance about Decisions Made by Machines Dennis, Louise A. Innbundet / 2023 / Engelsk
Art of Scalability, The Scalable Web Architecture, Processes, and Organizations for the Modern Enterprise Abbott Martin Heftet / 2015 / Engelsk
Executable Modal and Temporal Logics IJCAI '93 Workshop, Chambery, France, August 28, 1993. Proceedings Fisher, Michael Heftet / 1995 / Engelsk
Computational Logic in Multi-Agent Systems 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers Fisher, Michael Heftet / 2009 / Engelsk
