Filter
Søkt på: Bøker av J.C. Bradfield
Filter
totalt 2 treff
Verifying Temporal Properties of Systems
heftet,
2012,
Engelsk,
ISBN 9781468468212
This monograph aims to provide a powerful general-purpose proof tech nique for the verification of systems, whether finite or infinite. It extends the idea of finite local …
Verifying Temporal Properties of Systems
e-bok,
2013,
Engelsk,
ISBN 9781468468199
This monograph aims to provide a powerful general-purpose proof tech- nique for the verification of systems, whether finite or infinite. It extends the idea of finite local …