发帖
雷达卡
PRINCIPLES OF
MODEL CHECKING
SOLUTIONS TO SELECTED EXERCISES
CHRISTEL BAIER
JooST-PIETER KATOEN
Principles of Model Checking (Instructor Solution Manual, Solutions)
Christel Baier, Joost-Pieter Katoen
This manual contains solutions to selected exercises in the book Principles of Model Checking first edition, by Christel Baier (TU Dresden, Germany) and Joost-Pieter Katoen (RWTH Aachen University, Germany & University of Twente, the Netherlands). This booklet is intended for lecturers and instructors for courses that are based on this book.
Most of the solutions in this booklet are adapted from solution sets handed out to students in classes we taught in the last couple of years.
solutions.pdf
(1004.51 KB, 需要: RMB 29 元)
京公网安备 11010802022788号
