Bookshelf
| can't find it |

| browse books |
books
 


> try searching in e-books

| search results |

displaying 2 results for author search for 'Naijun Zhan'
 

Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach

Naijun Zhan
Paperback / softback, 258 pages
ISBN-13: 9783319836386
29 Jun 2018
Readership Age:
technology / electronics / circuits / general
Price: R 3,248.95
| on special |
normal price: R 3,609.95
Available from overseas. Delivery time is 14 - 21 days

Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach

Naijun Zhan
Hardback, 258 pages
ISBN-13: 9783319470146
14 Nov 2016
Readership Age:
technology / electronics / circuits / general
Price: R 3,248.95
| on special |
normal price: R 3,609.95
Available from overseas. Delivery time is 14 - 21 days

| 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 341.95
now: R 307.95
Available from overseas. Usually dispatched in 3 to 6 weeks

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

The Coming Wave: AI, Power and Our Future

Mustafa Suleyman
Paperback / softback
352 pages
was: R 296.95
now: R 266.95
Available from overseas. Usually dispatched in 3 to 6 weeks


Living in a hut in 21st Century South Africa

Monde Ndandani
Paperback / softback
142 pages
was: R 220.95
now: R 198.95
Usually delivered in 6-12 days


The Memory Collectors: A Novel

Dete Meserve
Paperback / softback
320 pages


Enquiries only