1. Home
  2. Vitalsource Technologies, Inc. Verified Software. Theories, Tools, And Experiments
  • #

Vitalsource Technologies, Inc. Verified Software. Theories, Tools, And Experiments

54.99 USD

Share:

Related products

Vitalsource Technologies, Inc. Provable Security

Vitalsource Technologies, Inc. Provable Security

54.99 USD
Vitalsource Technologies, Inc. Verifying Calculations

Vitalsource Technologies, Inc. Verifying Calculations - Forty Years On

69.99 USD
Vitalsource Technologies, Inc. Verifiable Composition Of Signature And Encryption

Vitalsource Technologies, Inc. Verifiable Composition Of Signature And Encryption

129.00 USD
Vitalsource Technologies, Inc. Verified Signal Processing Algorithms In Matlab And C

Vitalsource Technologies, Inc. Verified Signal Processing Algorithms In Matlab And C

64.99 USD
Vitalsource Technologies, Inc. Formal Verification of Floating-Point Hardware Design

Vitalsource Technologies, Inc. Formal Verification of Floating-Point Hardware Design

89.00 USD