Concise Guide to Software Verification: From Model Checking Annotation (Texts in Computer Science)

Preise von
58,97

Hervorgehoben

ALLE WEBSHOPS VERGLEICHEN (1)

Beschreibung

Amazon Concise Guide to Software Verification: From Model Checking to Annotation Checking (Texts in Computer Science)
Description Beschreibung
Product Specifications Produktspezifikationen
Related Products Vergleichbare Produkte
?>
Next
Previous

Webshops vergleichen (1)

Shop
Preis
Versandkosten
Total price
Amazon Logo
58,97 €
Gratis
58,97 €
Zum Shop
Gratis Shipping Costs
Beschreibung (1)

Concise Guide to Software Verification: From Model Checking to Annotation Checking (Texts in Computer Science)

Produktspezifikationen

Marken Springer
EAN
  • 9783031301698

Preise zuletzt aktualisiert am:

Springer

Systems and Software Verification: Model Checking Techniques Tools

139,22 €
Weitere Informationen Mehr Infos

Springer

Rigorous Software Development: An Introduction to Program Verification (Undergraduate Topics in Computer Science)

61,50 €
Weitere Informationen Mehr Infos

Springer

Verification of Sequential and Concurrent Programs (Texts & Monographs in Computer Science)

50,85 €
Weitere Informationen Mehr Infos

Independently Published

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

11,94 €
Weitere Informationen Mehr Infos
Hervorgehobene Wahl
58,97 €
Zum Shop