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

Priser från
129,21

Utvalda

JäMFöR ALLA WEBBUTIKER (2)

Beskrivning

Amazon OCAML PROGRAMMING FOR FORMAL AND FINANCIAL SYSTEMS: Mathematically sound programming for safe high-assurance applications
Description Beskrivning
Product Specifications Produktspecifikationer
Related Products Relaterade produkter
?>
Next
Previous

Jämför webbutiker (2)

Shop
Pris
Amazon Logga
129,21 kr
Til butik
Amazon Marketplace Logga
129,21 kr
Til butik
Beskrivning (1)

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

Produktspecifikationer

Märke Independently Published
EAN
  • 9798271801020

Priser uppdaterades senast:

Independently Published

OCAML SYSTEMS and COMPILER DEVELOPMENT: Static typing functional modules high assurance program construction

107,26 kr
Jämför 2 butiker 2 Butiker

Independently Published

Rust Programming for Embedded Systems and IoT: Master ESP32 STM32 Development with...

270,99 kr
Jämför 2 butiker 2 Butiker

Independently Published

ZIG PROGRAMMING FOR MODERN SYSTEMS DEVELOPMENT: Build Fast, Safe, and Efficient Applications from Scratch

169,79 kr
Jämför 2 butiker 2 Butiker

CRC Press

Statistical Methods and Applications in Systems Assurance Quality

1.484,04 kr
Jämför 2 butiker 2 Butiker
Utvalt Val
129,21 kr
Til butik