Handbook of Model Checking

Model checking is a computer-assisted method fo...

Perspectives of Systems Informatics

This book contains thoroughly refereed and revi...

Handbook of Model Checking

Model checking is a computer-assisted method fo...

Logic for Programming, Artificial Intelligence, and Reasoning

This book constitutes the thoroughly refereed p...

Model Checking, second edition

An expanded and updated edition of a comprehens...

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

Cultivate an interest in the agricultural secto...

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

Cultivate an interest in the agricultural secto...

The Most Beloved Carols & Poems for Christmas Time

Lectures On The Public Life And Character Of Oliver Cromwell (1847)

This scarce antiquarian book is a facsimile rep...

Logic for Programming, Artificial Intelligence, and Reasoning

This book constitutes the thoroughly refereed p...

Computer-Aided Verification

This volume contains the proceedings of the sec...

Perspectives of Systems Informatics

This book contains thoroughly refereed and revi...