edmund m clarke
Handbook of Model Checking
BuchSofort lieferbarModel checking is a computer-assisted method for the analysis of dynamical systems that can be...
Logic for Programming, Artificial Intelligence, and Reasoning
EbookSofort lieferbarThis book constitutes the thoroughly refereed post-conference proceedings of the 16th Internation...
Handbook of Model Checking
EbookSofort lieferbarModel checking is a computer-assisted method for the analysis of dynamical systems that can be mo...
Perspectives of Systems Informatics
EbookSofort lieferbarThis book contains thoroughly refereed and revised papers from the 8th International Andrei Ersho...
TIS THE SEASON TO BE JOLLY - Christmas Carols & Poems
EbookSofort lieferbarThis unique collection of Christmas carols, poems and songs is presented to you by e-artnow.Table...
Model Checking, second edition
EbookSofort lieferbarAn 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
EbookSofort lieferbarCultivate 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
EbookSofort lieferbarCultivate an interest in the agricultural sector with a three-level secondary course designed spe...
The Most Beloved Carols & Poems for Christmas Time
EbookSofort lieferbar'The Most Beloved Carols & Poems for Christmas Time' brings together a magnificent collection of ...
The Greatest Christmas Carols & Poems
EbookSofort lieferbarThe Greatest Christmas Carols & Poems encapsulates the rich tapestry of thematic depth and stylis...
Unternehmen Tigersprung
Blu-rayBezug 3-5Kurz vor Eintritt der USA in den Zweiten Weltkrieg: Die Fliegenden Tiger sind eine Gruppe freiwil...
Das Wunder von Manhattan
DVDBezug 6-10-Das Wunder von Manhattan (USA 1947, 92 Min., FSK 0):Gibt es den Weihnachtsmann wirklich? Genau...
- 1
- 2