On the Refinement Calculus

Name: On the Refinement Calculus
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783540199311
Price: 18253 HUF
Availability: InStock

Szerző: Carroll Morgan, Trevor Vickers

Nyelv:

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

Kiadó: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

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

Küldés 5-8 napon belül

18 253 Ft

On the Refinement Calculus gives one view of the development of the refinement calculus and its atte...

Információk a könyvről

Szerző

Carroll Morgan, Trevor Vickers

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

1994

oldal

159

EAN

9783540199311

ISBN

3540199314

Enbook ID

05273677

Kiadó

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Súly

280

Méretek

155 x 235 x 15

Teljes leírás

On the Refinement Calculus gives one view of the development of the refinement calculus and its attempt to bring together - among other things - Z specifications and Dijkstra's programming language. It is an excellent source of reference material for all those seeking the background and mathematical underpinnings of the refinement calculus.

É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

On the Refinement Calculus

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