Udvidet returret til d. 31. januar 2025

Abstraction, Refinement and Proof for Probabilistic Systems

Bag om Abstraction, Refinement and Proof for Probabilistic Systems

Illustrates by example the typical steps necessary in computer science to build a mathematical model of any programming paradigm . Presents results of a large and integrated body of research in the area of 'quantitative' program logics.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9781441923127
  • Indbinding:
  • Paperback
  • Sideantal:
  • 388
  • Udgivet:
  • 12. februar 2010
  • Udgave:
  • 12005
  • Størrelse:
  • 234x156x21 mm.
  • Vægt:
  • 617 g.
  • BLACK NOVEMBER
  Gratis fragt
Leveringstid: 8-11 hverdage
Forventet levering: 20. november 2024

Beskrivelse af Abstraction, Refinement and Proof for Probabilistic Systems

Illustrates by example the typical steps necessary in computer science to build a mathematical model of any programming paradigm . Presents results of a large and integrated body of research in the area of 'quantitative' program logics.

Brugerbedømmelser af Abstraction, Refinement and Proof for Probabilistic Systems



Find lignende bøger
Bogen Abstraction, Refinement and Proof for Probabilistic Systems 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.