by Carolina Machado (Editor), J. Paulo Davim (Editor)
Benefiting researchers and graduate students involved in mathematical logic, this book opens with a detailed theory of reactive Kripke semantics in the first seven chapters, followed by five chapters demonstrating applications in a variety of areas.
Format: Hardcover
Pages: 180
Edition: 2014
Publisher: Springer
Published: 19 Dec 2013
ISBN 10: 3319026178
ISBN 13: 9783319026176