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...
X-Ray Fluorescence Spectrometry and…
Eva Margui, Rene Van Grieken
Hardcover
Islamic Teachings Series: Spiritual and…
Muhammad Tahir-ul-Qadri
Paperback
R174
Discovery Miles 1 740
|