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

Prijzen vanaf
11,83

Uitgelicht

VERGELIJK ALLE AANBIEDERS (2)

Beschrijving

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

Description Beschrijving
Product Specifications Productspecificaties
Gerelateerde resultaten Gerelateerde resultaten
Next
Previous

Vergelijk aanbieders (2)

Shop
Prijs
Verzendkosten
Totale prijs
Amazon Logo
11,83
Gratis
11,83
Naar shop
Gratis Shipping Costs
Amazon Marketplace Logo
11,83
Gratis
11,83
Naar shop
Gratis Shipping Costs
Beschrijving (0)

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

Productspecificaties

Merk Independently Published
EAN
  • 9798243353243

Formal Specification and Verification of Digital Systems

24,18
Meer informatie Meer info

Independently Published

FORMAL METHODS FOR Software ENGINEERING: Mathematical Modeling Specification Languages Program Verification and Reliable Systems

12,70
Meer informatie Meer info

SPIN Model Checking and Software Verification

46,99
Meer informatie Meer info

Independently Published

RELIABLE COMPUTING THROUGH FORMAL VERIFICATION: Software Assurance Algorithm Verification Mathematical Proofs and...

12,70
Meer informatie Meer info
Uitgelichte Keuze
11,83
Naar shop