OCAML programming for FORMAL AND FINANCIAL SYSTEMS: Mathematically sound safe high assurance applications
Compare webshops (1)
Shop
Price
Pages: 148, Paperback, Independently published