FORMAL Program VERIFICATION: Mathematical Proofs Correctness Specification and Reliable Software

Preise von
12,93

Hervorgehoben

ALLE WEBSHOPS VERGLEICHEN (2)

Beschreibung

FORMAL Program VERIFICATION: Mathematical Proofs Correctness Specification and Reliable Software

Description Beschreibung
Product Specifications Produktspezifikationen
Verwandte Ergebnisse Verwandte Ergebnisse
Next
Previous

Webshops vergleichen (2)

Shop
Preis
Versandkosten
Total price
Amazon Logo
12,93 €
Gratis
12,93 €
Zum Shop
Gratis Shipping Costs
Amazon Marketplace Logo
12,93 €
Gratis
12,93 €
Zum Shop
Gratis Shipping Costs
Beschreibung (0)

FORMAL Program VERIFICATION: Mathematical Proofs Correctness Specification and Reliable Software

Produktspezifikationen

Marken Independently Published
EAN
  • 9798170632657

Independently Published

FORMAL METHODS FOR SOFTWARE ENGINEERING: Verification Techniques Program Analysis Specifications and Correctness

12,93 €
2 Shops vergleichen 2 Shops

Independently Published

COMPUTER ASSISTED MATHEMATICS: Formal Proofs Symbolic Reasoning Mathematical Structures and Verification

12,01 €
2 Shops vergleichen 2 Shops

Independently Published

FORMAL MATHEMATICS and COMPUTER PROOF: Mathematical Structures Proof Construction Verification Reliable Computation

12,01 €
2 Shops vergleichen 2 Shops

Independently Published

FORMAL SPECIFICATION TECHNIQUES: System Properties Invariants Preconditions Postconditions and Verification

12,93 €
2 Shops vergleichen 2 Shops
Hervorgehobene Wahl
12,93 €
Zum Shop