Computer Arithmetic and Formal Proofs: Verifying Floating-point Algorithms with the Coq System
Sylvie Boldo (INRIA, France),Guillaume Melquiond (INRIA, France)
Computer Arithmetic and Formal Proofs: Verifying Floating-point Algorithms with the Coq System
Sylvie Boldo (INRIA, France),Guillaume Melquiond (INRIA, France)
OTT Video Streaming and VoIP Services OTT Video Streaming and VoIP Services
This item is not currently in-stock. It can be ordered online and is expected to ship in approx 2 weeks
Our stock data is updated periodically, and availability may change throughout the day for in-demand items. Please call the relevant shop for the most current stock information. Prices are subject to change without notice.
Sign in or become a Readings Member to add this title to a wishlist.