RELIABLE COMPUTING THROUGH FORMAL VERIFICATION: Software Assurance Algorithm Verification Mathematical Proofs and Engineering Methods for High Confidence Systems

Prijzen vanaf
12,82

Uitgelicht

VERGELIJK ALLE AANBIEDERS (2)

Beschrijving

RELIABLE COMPUTING THROUGH FORMAL VERIFICATION: Software Assurance Algorithm Verification Mathematical Proofs and Engineering Methods for High Confidence Systems

Description Beschrijving
Product Specifications Productspecificaties
Gerelateerde resultaten Gerelateerde resultaten
Next
Previous

Vergelijk aanbieders (2)

Shop
Prijs
Verzendkosten
Totale prijs
Amazon Logo
12,82
Gratis
12,82
Naar shop
Gratis Shipping Costs
Amazon Marketplace Logo
12,82
Gratis
12,82
Naar shop
Gratis Shipping Costs
Beschrijving (0)

RELIABLE COMPUTING THROUGH FORMAL VERIFICATION: Software Assurance Algorithm Verification Mathematical Proofs and Engineering Methods for High Confidence Systems

Productspecificaties

Merk Independently Published
EAN
  • 9798194379750

Independently Published

FORMAL METHODS FOR Software ENGINEERING: Mathematical Modeling Specification Languages Program Verification and Reliable Systems

12,82
Vergelijk 2 shops 2 shops

Independently Published

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

11,94
Vergelijk 2 shops 2 shops

Design and Verification of Microprocessor Systems for High Assurance Applications

157,00
Meer informatie Meer info

Lecture Notes in Computer Science 13466 Software Verification and Formal Methods for...

63,75
Meer informatie Meer info
Uitgelichte Keuze
12,82
Naar shop