This book addresses direct application of mathematics to fire engineering problems Gives background interpretation for included mathematical methods Illustrates

- Follows current TJC and ISMP safety recommendations. - Answer key is new to this edition and provides immediate feedback for practice problems. - Features the

This book constitutes the refereed proceedings of the 25th International Symposium on Model Checking Software, SPIN 2018, held in Malaga, Spain, in June 2018. T