Vi bøger
Levering: 1 - 2 hverdage

Proof and System-Reliability - Ralf Steinbruggen - Bog

Bag 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 mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9781402006074
  • Indbinding:
  • Hardback
  • Sideantal:
  • 432
  • Udgivet:
  • 31. Maj 2002
  • Størrelse:
  • 160x29x241 mm.
  • Vægt:
  • 811 g.
  • 2-3 uger.
  • 3. Juli 2024
På lager

Normalpris

Medlemspris

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Beskrivelse af 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.

Brugerbedømmelser af Proof and System-Reliability



Find lignende bøger
Bogen Proof and System-Reliability findes i følgende kategorier:

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.