LOGIC IN COMPUTER SCIENCE Modelling and Reasoning about Systems MICHAEL HUTH Department of Computing Imperial College London, United Kingdom MARK RYAN School of Computer Science University of Birmingham, United Kingdom
英文原版 Preface to the second edition Our motivation for (re)writing this book One of the leitmotifs of writing the first edition of our book was the observation that most logics used in the design, specification and verification of computersystems fun
