Abstraction, Refinement and Proof for Probabilistic Systems

Name: Abstraction, Refinement and Proof for Probabilistic Systems
Brand: Springer-Verlag New York Inc.
SKU: 9781441923127
Price: 53357 HUF
Availability: InStock

Szerző: Annabelle McIver, Charles Carroll Morgan

Nyelv:

Kötés: Puha kötésű

Kiadó: Springer-Verlag New York Inc.

Elérhetőség: Beszállítói készleten

Küldés 10-18 napon belül

53 357 Ft

Illustrates by example the typical steps necessary in computer science to build a mathematical model...

Információk a könyvről

Szerző

Annabelle McIver, Charles Carroll Morgan

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2010

oldal

388

EAN

9781441923127

ISBN

1441923128

Enbook ID

05256930

Kiadó

Springer-Verlag New York Inc.

Súly

617

Méretek

155 x 235 x 235

Teljes leírás

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.§

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Abstraction, Refinement and Proof for Probabilistic Systems

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták