Verifiable Autonomous Systems : Using Rational Agents to Provide Assurance about Decisions Made by Machines
Louise A. Dennis
Download - Immediately Available
Format: eBook (PDF)
Art of Scalability, The : Scalable Web Architecture, Processes, and Organizations for the Modern Enterprise
Martin Abbott
Out of Stock - We are unable to provide an estimated availability date for this product
Format: Book (Paperback / softback)
£33.49
£32.95
Out of Stock - We are unable to provide an estimated availability date for this product
Book (Paperback / softback)
Add to BasketAn 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)