FORMAL SPECIFICATION TECHNIQUES: System Properties Invariants Preconditions Postconditions and Verification

Preise von
12,93

Hervorgehoben

ALLE WEBSHOPS VERGLEICHEN (2)

Beschreibung

FORMAL SPECIFICATION TECHNIQUES: System Properties Invariants Preconditions Postconditions and Verification

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 SPECIFICATION TECHNIQUES: System Properties Invariants Preconditions Postconditions and Verification

Produktspezifikationen

Marken Independently Published
EAN
  • 9798170637089

Independently Published

FORMAL Program VERIFICATION: Mathematical Proofs Correctness Specification and Reliable Software

12,93 €
2 Shops vergleichen 2 Shops

Springer, Springer

Tool Support for System Specification, Development and Verification Rudolf Bergh

53,49 €
Weitere Informationen Mehr Infos

Springer, Springer

Compiler Specification and Verification W. Polak

24,60 €
Weitere Informationen Mehr Infos

Independently Published

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

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