Independently Published

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

Name: RELIABLE COMPUTING THROUGH FORMAL VERIFICATION: Software Assurance Algorithm Verification Mathematical Proofs and Engineering Methods for High Confidence Systems
Brand: Independently Published
SKU: ef34cb7529fe42e74e957373a32f98a2

1/1

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

Amazon

Prijzen vanaf

12,82

Uitgelicht

	12,82	Naar shop
	12,82	Naar shop
VERGELIJK ALLE AANBIEDERS (2)

Beschrijving

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

Vergelijk aanbieders (2)

Sorteren op:

€ 12,82 Gratis verzending

Beschrijving (0)

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