ISTE Press - Elsevier

“Computer Arithmetic and Formal Proofs: Verifying Floating-point Algorithms with the Coq System (Computer Engineering)” has been added to your cart. View cart

Showing all 4 results

Computer Arithmetic and Formal Proofs: Verifying Floating-point Algorithms with the Coq System (Computer Engineering)
$3,675.00 Add to cart
Physical-Chemical Properties of Foods: New Tools for Prediction
$1,680.00 Add to cart
Security in Network Functions Virtualization (Networks and Telecommunications)
$2,730.00 Add to cart
Security in Network Functions Virtualization (Networks and Telecommunications)
$2,730.00 Add to cart

Download Category Catalog

Computer Arithmetic and Formal Proofs: Verifying Floating-point Algorithms with the Coq System (Computer Engineering)

Physical-Chemical Properties of Foods: New Tools for Prediction

Security in Network Functions Virtualization (Networks and Telecommunications)

Security in Network Functions Virtualization (Networks and Telecommunications)