Delivery included to the United States

Advanced Mathematical Programming in OCaml

Advanced Mathematical Programming in OCaml Cryptography, Geometry, Differential Equations, and Formal Verification (Coq/Z3) - Mastering Ocaml 2025 Roadmap

Paperback (11 Jun 2025)

  • $29.84
Add to basket

Includes delivery to the United States

10+ copies available online - Usually dispatched within 7 days

Publisher's Synopsis

Push OCaml to its mathematical limits with this deep dive into specialized domains that showcase OCaml's strengths. You'll implement sophisticated algorithms while maintaining OCaml's trademark safety and elegance.

Book information

ISBN: 9798287676193
Publisher: Amazon Digital Services LLC - Kdp
Imprint: Independently Published
Pub date:
Language: English
Number of pages: 170
Weight: -1g
Height: 229mm
Width: 152mm
Spine width: 9mm