Rajaa
Hakutulokset: Kirjoja kirjailijalta J.C. Bradfield
Rajaa
yhteensä 2 hakutulosta
Verifying Temporal Properties of Systems
nidottu,
2012,
englanti,
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-kirja,
2013,
englanti,
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 …