ATS programming FOR VERIFIED SOFTWARE DEVELOPMENT: Mathematically proven correctness and type safety in systems

Priser från
127,69

Utvalda

JäMFöR ALLA WEBBUTIKER (2)

Beskrivning

Amazon ATS PROGRAMMING FOR VERIFIED SOFTWARE DEVELOPMENT: Mathematically proven correctness and type safety in systems programming
Description Beskrivning
Product Specifications Produktspecifikationer
Related Products Relaterade produkter
?>
Next
Previous

Jämför webbutiker (2)

Shop
Pris
Amazon Logga
127,69 kr
Til butik
Amazon Marketplace Logga
127,69 kr
Til butik
Beskrivning (1)

ATS PROGRAMMING FOR VERIFIED SOFTWARE DEVELOPMENT: Mathematically proven correctness and type safety in systems programming

Produktspecifikationer

Märke Independently Published
EAN
  • 9798270868505

Priser uppdaterades senast:

Independently Published

FORMAL VERIFICATION FOR SOFTWARE SYSTEMS: Model checking correctness proofs and specification driven development

126,78 kr
Jämför 2 butiker 2 Butiker

CRC Press

Embedded Software Development for Safety Critical Systems

1.430,68 kr
Jämför 2 butiker 2 Butiker

Independently Published

Rust Programming Fundamentals: Systems Development for Safety and Speed

192,51 kr
Mer information Mer info

CRC Press

Embedded Software Development for Safety Critical Systems

646,27 kr
Jämför 2 butiker 2 Butiker
Utvalt Val
127,69 kr
Til butik