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

This scarce antiquarian book is a facsimile reprint of the original. Due to its age, it may conta...

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

This volume contains the proceedings of the second workshopon Computer Aided Verification, held a...

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

Wunder von Manhatten 1947 & 1994(DVD) DP Min:DD5.1 WSDoppelset

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

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

New edition of the award-winning collection, complete with Alan Clarke's witty, eye-catching illu...

Cases on Common Law Pleading, Selected From Decisions of English and American Courts

This work has been selected by scholars as being culturally important, and is part of the knowled...

This work has been selected by scholars as being culturally important and is part of the knowledg...