Bookshelf
| can't find it |

| browse books |
books
 

| book details |

Towards an Isabelle Theory for distributed, interactive systems: The untimed case

By (author) Jens Christoph Burger, By (author) Hendrik Kausch, By (author) Deni Raco, By (author) Jan Oliver Ringert, By (author) Bernhard Rumpe, By (author) Sebastian Stuber, By (author) Marc Wiartalla





This book is currently unavailable. Enquire to check if we can source a used copy


| book description |

| product details |



Normally shipped | Enquiries only
Publisher | Shaker Verlag GmbH, Germany
Published date | 15 May 2020
Language |
Format | Paperback / softback
Pages | 260
Dimensions | 240 x 170 x 0mm (L x W x H)
Weight | 0g
ISBN | 978-3-8440-7265-5
Readership Age |
BISAC | computers / computer science


| other options |


| your trolley |

To view the items in your trolley please sign in.

| sign in |

| specials |

Survive the AI Apocalypse: A guide for solutionists

Bronwen Williams
Paperback / softback
232 pages
was: R 340.95
now: R 306.95
Forthcoming

Let's stare the future down and, instead of fearing AI, become solutionists.

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.

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


The Memory Collectors: A Novel

Dete Meserve
Paperback / softback
320 pages


Enquiries only