Verifiable Autonomous Systems : Using Rational Agents to Provide Assurance about Decisions Made by Machines
Louise A. Dennis
Download - Immediately Available
Format: eBook (PDF)
A Level Advancing Biology for OCR Student Book (OCR B)
Michael Fisher
Item not Available
Format: Book (Paperback / softback)
£55.00
Item not Available
Book (Paperback / softback)
An Introduction to Practical Formal Methods Using Temporal Logic
Michael Fisher
Download - Immediately Available
Format: eBook (EPUB)
An Introduction to Practical Formal Methods Using Temporal Logic
Michael Fisher
Download - Immediately Available
Format: eBook (PDF)
£85.00
£70.39
Item not Available
Book (Hardback)
Contract Law in Hong Kong - An Introductory Guide
Michael Fisher
Item not Available
Format: Book (Hardback)
£74.00
£55.29
Item not Available
Book (Hardback)
