Name: Abstraction, Refinement and Proof for Probabilistic Systems
Price: 1610.95 DKK
Availability: InStock
Author: Annabelle McIver
ISBN: 9781441923127

Abstraction, Refinement and Proof for Probabilistic Systems af Annabelle McIver

Du sparer 0% ift. normalprisen Spar 0%

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

Forlag:
Springer-Verlag New York Inc.

Indbinding:
Paperback

Sideantal:
388

Udgivet:
12. Februar 2010

Udgave:
12005

Størrelse:
234x156x21 mm.

Vægt:
617 g.

Leveringstid: 2-3 uger.
Forventet levering: 10. Juli 2024

Normalpris

1.610,95 kr. + Fragt
~~1.610,95 kr.~~

Medlemspris

1.560,95 kr.

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

Bag om Annabelle McIver

Vis alle bøger af Annabelle McIver

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

Andre købte også..

Find lignende bøger

Bogen Abstraction, Refinement and Proof for Probabilistic Systems findes i følgende kategorier:

Business og læring > Computer og IT

Abstraction, Refinement and Proof for Probabilistic Systems - Annabelle McIver - Bog

Bag om Annabelle McIver

Beskrivelse af Abstraction, Refinement and Proof for Probabilistic Systems

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

Gør som tusindvis af andre bogelskere