Utvidet returrett til 31. januar 2025

Proof and System-Reliability

Om Proof and System-Reliability

As society comes to rely increasingly on software for its welfare and prosperity there is an urgent need to create systems in which it can trust. Experience has shown that confidence can only come from a more profound understanding of the issues, which in turn can come only if it is based on logically sound foundations. This volume contains contributions from leading researchers in the critical disciplines of computing and information science, mathematics, logic, and complexity. All contributions are self-contained, aiming at comprehensibility as well as comprehensiveness. The volume also contains introductory hints to technical issues, concise surveys, introductions, and various fresh results and new perspectives.

Vis mer
  • Språk:
  • Engelsk
  • ISBN:
  • 9781402006074
  • Bindende:
  • Hardback
  • Sider:
  • 432
  • Utgitt:
  • 31. mai 2002
  • Dimensjoner:
  • 160x29x241 mm.
  • Vekt:
  • 811 g.
  • BLACK NOVEMBER
  Gratis frakt
Leveringstid: 2-4 uker
Forventet levering: 18. desember 2024

Beskrivelse av Proof and System-Reliability

As society comes to rely increasingly on software for its welfare and prosperity there is an urgent need to create systems in which it can trust. Experience has shown that confidence can only come from a more profound understanding of the issues, which in turn can come only if it is based on logically sound foundations. This volume contains contributions from leading researchers in the critical disciplines of computing and information science, mathematics, logic, and complexity. All contributions are self-contained, aiming at comprehensibility as well as comprehensiveness. The volume also contains introductory hints to technical issues, concise surveys, introductions, and various fresh results and new perspectives.

Brukervurderinger av Proof and System-Reliability



Finn lignende bøker
Boken Proof and System-Reliability finnes i følgende kategorier:

Gjør som tusenvis av andre bokelskere

Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.