Verifying Temporal Properties of Systems - Progress in Theoretical Computer Science - J C Bradfield - Bøger - Birkhauser - 9781468468212 - 25. februar 2012
Ved uoverensstemmelse mellem cover og titel gælder titel

Verifying Temporal Properties of Systems - Progress in Theoretical Computer Science

J C Bradfield

Pris
₺ 2.726,25

Bestilles fra fjernlager

Forventes klar til forsendelse 7. - 11. jul.
Tilføj til din iMusic ønskeseddel
Eller

Verifying Temporal Properties of Systems - Progress in Theoretical Computer Science

116 pages, black & white illustrations, bibliography

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 25. februar 2012
ISBN13 9781468468212
Forlag Birkhauser
Antal sider 116
Mål 156 × 234 × 7 mm   ·   185 g
Sprog Engelsk