Verifying Concurrent Processes Using Temporal Logic - Lecture Notes in Computer Science - B. T. Hailpern - Bøger - Springer-Verlag Berlin and Heidelberg Gm - 9783540112051 - 1. marts 1982
Ved uoverensstemmelse mellem cover og titel gælder titel

B. T. Hailpern
Verifying Concurrent Processes Using Temporal Logic - Lecture Notes in Computer Science 1982 edition

Pris
DKK 448

Bestilles fra fjernlager

Forventes klar til forsendelse 7. - 13. jan. 2026
Julegaver kan byttes frem til 31. januar

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
eller

209 pages, biography

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 1. marts 1982
ISBN13 9783540112051
Forlag Springer-Verlag Berlin and Heidelberg Gm
Antal sider 209
Mål 155 × 233 × 11 mm   ·   312 g
Sprog Engelsk  

Se alt med B. T. Hailpern ( f.eks. Paperback Bog )