Verifiable Autonomous Systems : Using Rational Agents to Provide Assurance about Decisions Made by Machines
Louise A. Dennis
Download Now
Format: eBook (PDF)
A Level Advancing Biology for OCR Student Book (OCR B)
Michael Fisher
Unavailable
Format: Book (Paperback / softback)
£56.81
Unavailable
Book (Paperback / softback)
An Introduction to Practical Formal Methods Using Temporal Logic
Michael Fisher
Download Now
Format: eBook (EPUB)
An Introduction to Practical Formal Methods Using Temporal Logic
Michael Fisher
Download Now
Format: eBook (PDF)
£85.00
£65.06
Unavailable
Book (Hardback)