che-chandler.de

Handbook of Model Checking

Model checking is a computer-assisted method for the analysis of dynamical systems that can be...

Model Checking

Model checking is a technique for verifying finite state concurrent systems such as sequential ci...

Handbook of Model Checking

Model checking is a computer-assisted method for the analysis of dynamical systems that can be mo...

Perspectives of Systems Informatics

This book contains thoroughly refereed and revised papers from the 8th International Andrei Ersho...

Logic for Programming, Artificial Intelligence, and Reasoning

This book constitutes the thoroughly refereed post-conference proceedings of the 16th Internation...

TIS THE SEASON TO BE JOLLY - Christmas Carols & Poems

The Greatest Christmas Carols & Poems

Agricultural Science Book 2: A course for secondary schools in the Caribbean

Cultivate an interest in the agricultural sector with a three-level secondary course designed spe...

Agricultural Science Book 1: A course for secondary schools in the Caribbean

Cultivate an interest in the agricultural sector with a three-level secondary course designed spe...

Model Checking, second edition

Model Checking

Model checking is a technique for verifying finite state concurrent systems such as sequential ci...

Logic for Programming, Artificial Intelligence, and Reasoning

This book constitutes the thoroughly refereed post-conference proceedings of the 16th Internation...