| book details |

Provably Correct Systems

Edited by Mike Hinchey, Edited by Jonathan P. Bowen, Edited by Ernst-RÃ¼diger Olderog

| on special |

normal price: R 4 600.95

Price: R 4 370.95

| add to trolley |

| book description |

As computers increasingly control the systems and services we depend upon within our daily lives like transport, communications, and the media, ensuring these systems function correctly is of utmost importance. This book consists of twelve chapters and one historical account that were presented at a workshop in London in 2015, marking the 25th anniversary of the European ESPRIT Basic Research project â€˜ProCoSâ€™ (Provably Correct Systems).Â The ProCoS I and II projects pioneered and accelerated the automation of verification techniques, resulting in a wide range of applications within many trades and sectors such as aerospace, electronics, communications, and retail. The following topics are covered: An historical account of the ProCoS project Hybrid Systems Correctness of Concurrent Algorithms Interfaces and Linking Automatic Verification Run-time Assertions Checking Formal and Semi-Formal MethodsÂ Provably Correct Systems provides researchers, designers and engineers with a complete overview of the ProCoS initiative, past and present, and explores current developments and perspectives within the field.

| product details |

| other options |

| back |

| your trolley |

To view the items in your trolley please sign in.

| sign in |

| specials |

The Coming Wave: AI, Power and Our Future

Mustafa Suleyman
Paperback / softback
352 pages
was: R 295.95
now: R 265.95
Stock is usually dispatched in 6-12 days from date of order

| more |

| add to trolley |

The Memory Collectors: A Novel

Dete Meserve
Paperback / softback
320 pages

Enquiries only

| more |

| enquire |

Survive the AI Apocalypse: A guide for solutionists

Bronwyn Williams
Paperback / softback
232 pages
was: R 340.95
now: R 306.95
Stock is usually dispatched in 6-12 days from date of order

Look around you is anything real or normal any more? News, images and videos created by AI are everywhere.

| more |

| add to trolley |

The Colonialist: The Vision of Cecil Rhodes

William Kelleher Storey
Paperback / softback
528 pages
was: R 425.95
now: R 382.95
Usually dispatched in 6-12 days

This first comprehensive biography of Cecil Rhodes in a generation illuminates Rhodesâ€™s vision for the expansion of imperialism in southern Africa, connecting politics and industry to internal development, and examines how this fueled a lasting, white-dominated colonial society.

| more |

| add to trolley |