An Application of Automated Theorem Provers to Computer System Security

1/1
Afbeelding van An Application of Automated Theorem Provers to Computer System Security
Bol
Prijzen vanaf
17,00

Uitgelicht

VERGELIJK ALLE AANBIEDERS (1)

Beschrijving

An Application of Automated Theorem Provers to Computer System Security

Description Beschrijving
Product Specifications Productspecificaties
Related Products Gerelateerde producten
?>
Next
Previous

Vergelijk aanbieders (1)

Shop
Prijs
Verzendkosten
Totale prijs
Bol Logo
17,00
2,99
19,99
Naar shop
2,99 Shipping Costs
Beschrijving (0)

An Application of Automated Theorem Provers to Computer System Security

Productspecificaties

EAN
  • 9781025143552
Maat

Prijzen voor het laatst bijgewerkt op:

Applying Automated Theorem Proving to Computer Security

17,00
Meer informatie Meer info

Certifying System Translations Using Higher Order Theorem Provers

51,99
Meer informatie Meer info

Alphascript Publishing

Computer Algebra System: Application Software, Comparison of Systems, Computational Science, Symbolic Computation,...

35,48
Vergelijk 2 shops 2 shops

Theorem Provers in Circuit Design

46,99
Meer informatie Meer info
Uitgelichte Keuze
17,00
Naar shop