0
Your cart
![]() |
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
|
Your cart is empty |
||
Showing 1 - 2 of 2 matches in All Departments
A practical introduction to the development of proofs and certified programs using Coq. An invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software.
A practical introduction to the development of proofs and certified programs using Coq. An invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software.
|
You may like...
The Best Damn Cybercrime and Digital…
Jack Wiles, Anthony Reyes
Paperback
R1,269
Discovery Miles 12 690
Optimal Power Flow Using FACTS Devices…
L Ashok Kumar, K. Mohanasundaram
Hardcover
R3,643
Discovery Miles 36 430
The Oxford Handbook of the American…
Edward G. Gray, Jane Kamensky
Hardcover
R4,624
Discovery Miles 46 240
|