Hurtig levering
Fremragende Trustpilot
Op til 20% Rabat på nye medlemsordrer
Kurv
Specification and Proof in Real Time CSP
Af: Jim Davies Engelsk Hardback
SPAR
kr 183
Specification and Proof in Real Time CSP
Af: Jim Davies Engelsk Hardback
Computing systems are becoming highly complex, harder to understand, and therefore more prone to failure. It is important therefore that we are able to employ mathematical techniques to specify the behaviour of critical safety systems. The research contained in this book represents work on the specification and verification of real-time systems.
Eksklusiv medlemspris 875 kr
Medlemspris 893 kr
Eksklusiv medlemspris og medlemspris er kun for medlemmer. Du bliver automatisk medlem når du køber til eksklusiv medlemspris eller medlemspris. Få 7 dages gratis medlemskab (herefter automatisk 89 kr/30 dage). Læs mere om fordelene
Gratis fragt
23 - 25 hverdage
10 kr
Lavt pakkegebyr
Normalpris 1.058 kr
Fragt: 59 kr
23 - 25 hverdage
20 kr
Pakkegebyr
Spar 183 kr
Se vores konkurrenters priser her
God 15.872 anmeldelser på
Computing systems are becoming highly complex, harder to understand, and therefore more prone to failure. It is important therefore that we are able to employ mathematical techniques to specify the behaviour of critical safety systems. The research contained in this book represents work on the specification and verification of real-time systems.
Produktdetaljer
Sprog: Engelsk
Sider: 200
ISBN-13: 9780521450553
Indbinding: Hardback
Udgave:
ISBN-10: 0521450551
Udg. Dato: 20 maj 1993
Længde: 13mm
Bredde: 256mm
Højde: 181mm
Oplagsdato: 20 maj 1993
Forfatter(e): Jim Davies
Forfatter(e) Jim Davies


Kategori Parallel databehandling


Sprog Engelsk


Indbinding Hardback


Sider 200


Udgave


Længde 13mm


Bredde 256mm


Højde 181mm


Udg. Dato 20 maj 1993


Oplagsdato 20 maj 1993

MEDLEMSFORDELE
GRATIS FRAGT
SPAR OP TIL 90%
Andre har også købt
BOG (INDBUNDET)
Eksklusiv medlemspris kr 380

kr 499
Normalpris
kr 392
Medlemspris
SPAR
kr 119
BOG (HÆFTET)
Eksklusiv medlemspris kr 200

kr 280
Normalpris
kr 208
Medlemspris
SPAR
kr 80
BOG (INDBUNDET)
Eksklusiv medlemspris kr 214

kr 320
Normalpris
kr 225
Medlemspris
SPAR
kr 106
BOG (INDBUNDET)
Eksklusiv medlemspris kr 199

kr 320
Normalpris
kr 211
Medlemspris
SPAR
kr 121
BOG (HÆFTET)
Eksklusiv medlemspris kr 188

kr 269
Normalpris
kr 196
Medlemspris
SPAR
kr 81
BOG (INDBUNDET)
Eksklusiv medlemspris kr 199

kr 299
Normalpris
kr 209
Medlemspris
SPAR
kr 100
BOG (INDBUNDET)
Eksklusiv medlemspris kr 199

kr 299
Normalpris
kr 209
Medlemspris
SPAR
kr 100
BOG (INDBUNDET)
Eksklusiv medlemspris kr 179

kr 249
Normalpris
kr 186
Medlemspris
SPAR
kr 70
BOG (INDBUNDET)
Eksklusiv medlemspris kr 183

kr 270
Normalpris
kr 192
Medlemspris
SPAR
kr 87
BOG (HÆFTET)
Eksklusiv medlemspris kr 149

kr 249
Normalpris
kr 159
Medlemspris
SPAR
kr 100
BOG (HÆFTET)
Eksklusiv medlemspris kr 249

kr 249
Normalpris
kr 249
Medlemspris
BOG (INDBUNDET)
Eksklusiv medlemspris kr 294

kr 399
Normalpris
kr 305
Medlemspris
SPAR
kr 105
BOG (PAPERBACK)
Eksklusiv medlemspris kr 166

kr 201
Normalpris
kr 170
Medlemspris
SPAR
kr 35
BOG (HÆFTET)
Eksklusiv medlemspris kr 175

kr 269
Normalpris
kr 184
Medlemspris
SPAR
kr 94
BOG (INDBUNDET)
Eksklusiv medlemspris kr 329

kr 499
Normalpris
kr 346
Medlemspris
SPAR
kr 170
BOG (INDBUNDET)
Eksklusiv medlemspris kr 203

kr 300
Normalpris
kr 213
Medlemspris
SPAR
kr 97
BOG (HÆFTET)
Eksklusiv medlemspris kr 154

kr 229
Normalpris
kr 162
Medlemspris
SPAR
kr 75
BOG (INDBUNDET)
Eksklusiv medlemspris kr 919

kr 1.499
Normalpris
kr 977
Medlemspris
SPAR
kr 580
BOG (PAPERBACK)
Eksklusiv medlemspris kr 115

kr 119
Normalpris
kr 115
Medlemspris
SPAR
kr 4
BOG (INDBUNDET)
Eksklusiv medlemspris kr 214

kr 320
Normalpris
kr 225
Medlemspris
SPAR
kr 106
Vi anbefaler også
BOG (INDBUNDET)
Eksklusiv medlemspris kr 811

kr 1.014
Normalpris
kr 831
Medlemspris
SPAR
kr 203
BOG (HARDBACK)
Eksklusiv medlemspris kr 495

kr 1.014
Normalpris
kr 547
Medlemspris
SPAR
kr 519
BOG (HARDBACK)
Eksklusiv medlemspris kr 840

kr 1.014
Normalpris
kr 857
Medlemspris
SPAR
kr 174
BOG (HARDBACK)
Eksklusiv medlemspris kr 752

kr 901
Normalpris
kr 767
Medlemspris
SPAR
kr 149
BOG (HARDBACK)
Eksklusiv medlemspris kr 840

kr 1.014
Normalpris
kr 857
Medlemspris
SPAR
kr 174
BOG (HARDBACK)
Eksklusiv medlemspris kr 682

kr 901
Normalpris
kr 704
Medlemspris
SPAR
kr 219
BOG (HARDBACK)
Eksklusiv medlemspris kr 928

kr 1.126
Normalpris
kr 948
Medlemspris
SPAR
kr 198
BOG (HARDBACK)
Eksklusiv medlemspris kr 919

kr 1.239
Normalpris
kr 951
Medlemspris
SPAR
kr 320
BOG (PAPERBACK)
Eksklusiv medlemspris kr 814

kr 980
Normalpris
kr 831
Medlemspris
SPAR
kr 166
BOG (HARDBACK)
Eksklusiv medlemspris kr 796

kr 957
Normalpris
kr 812
Medlemspris
SPAR
kr 161
BOG (HARDBACK)
Eksklusiv medlemspris kr 919

kr 1.239
Normalpris
kr 951
Medlemspris
SPAR
kr 320
BOG (HARDBACK)
Eksklusiv medlemspris kr 962

kr 1.216
Normalpris
kr 987
Medlemspris
SPAR
kr 254
BOG (PAPERBACK)
Eksklusiv medlemspris kr 919

kr 1.239
Normalpris
kr 951
Medlemspris
SPAR
kr 320
BOG (HARDBACK)
Eksklusiv medlemspris kr 709

kr 855
Normalpris
kr 724
Medlemspris
SPAR
kr 146
BOG (PAPERBACK)
Eksklusiv medlemspris kr 682

kr 810
Normalpris
kr 695
Medlemspris
SPAR
kr 128
BOG (PAPERBACK)
Eksklusiv medlemspris kr 397

kr 788
Normalpris
kr 436
Medlemspris
SPAR
kr 391
BOG (HARDBACK)
Eksklusiv medlemspris kr 621

kr 732
Normalpris
kr 632
Medlemspris
SPAR
kr 111
BOG (HARDBACK)
Eksklusiv medlemspris kr 639

kr 754
Normalpris
kr 651
Medlemspris
SPAR
kr 115
BOG (PAPERBACK)
Eksklusiv medlemspris kr 458

kr 721
Normalpris
kr 484
Medlemspris
SPAR
kr 263