Fisher, Michael

Vis mig kun

Verifiable Autonomous Systems

Verifiable Autonomous Systems

Fisher, Michael

656,09 DKK

Introduction to Practical Formal Methods Using Temporal Logic

Introduction to Practical Formal Methods Using Temporal Logic

Fisher, Michael

948,41 DKK

Introduction to Practical Formal Methods Using Temporal Logic

Introduction to Practical Formal Methods Using Temporal Logic

Fisher, Michael

948,41 DKK