che-chandler.de

Model Checking

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

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...

Perspectives of Systems Informatics

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

Model Checking, second edition

The Greatest Christmas Carols & Poems

Handbook of Model Checking

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

TIS THE SEASON TO BE JOLLY - Christmas Carols & Poems

Model Checking

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

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...

Logic for Programming, Artificial Intelligence, and Reasoning

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