OCAML PROGRAMMING FOR FORMAL AND FINANCIAL SYSTEMS: Mathematically sound programming for safe high-assurance applications

OCAML PROGRAMMING FOR FORMAL AND FINANCIAL SYSTEMS: Mathematically sound programming for safe high-assurance applications

Independently published

Pages: 148, Paperback, Independently published

Compare prices (1 shop)

shop Price Action
9,75 GBP Go to shop

Similar products