edmund m clarke

Handbook of Model Checking

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

Logic for Programming, Artificial Intelligence, and Reasoning

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

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

TIS THE SEASON TO BE JOLLY - Christmas Carols & Poems

This unique collection of Christmas carols, poems and songs is presented to you by e-artnow.Table...

Model Checking, second edition

An expanded and updated edition of a comprehensive presentation of the theory and practice of mod...

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

The Most Beloved Carols & Poems for Christmas Time

The Greatest Christmas Carols & Poems

The Greatest Christmas Carols & Poems encapsulates the rich tapestry of thematic depth and stylis...

Das Wunder von Manhattan

-Das Wunder von Manhattan (USA 1947, 92 Min., FSK 0):Gibt es den Weihnachtsmann wirklich? Genau...

Unternehmen Tigersprung

Kurz vor Eintritt der USA in den Zweiten Weltkrieg: Die Fliegenden Tiger sind eine Gruppe freiwil...