Verifying Temporal Properties of Systems - Progress in Theoretical Computer Science - J C Bradfield - Böcker - Birkhauser - 9781468468212 - 25 februari 2012
Om omslag och titel inte matchar är det titeln som gäller

Verifying Temporal Properties of Systems - Progress in Theoretical Computer Science

J C Bradfield

Pris
HK$ 540,60

Beställningsvara

Förväntad leverans 2 - 12 jul

Våra kunder säger:

14 dagars returrätt
Toppbetyg på Trustpilot
Lägg till din iMusic-önskelista

Verifying Temporal Properties of Systems - Progress in Theoretical Computer Science

116 pages, black & white illustrations, bibliography

Media Böcker     Pocketbok   (Bok med mjukt omslag och limmad rygg)
Releasedatum 25 februari 2012
ISBN13 9781468468212
Utgivare Birkhauser
Antal sidor 116
Mått 156 × 234 × 7 mm   ·   185 g

Se alt med J C Bradfield ( t.ex. Pocketbok )