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

Verifying Concurrent Processes Using Temporal Logic - Lecture Notes in Computer Science 1982 edition

B. T. Hailpern

Pris
DKK 448

Bestilles fra fjernlager

Forventes klar til forsendelse 12. - 18. aug.

Vores kunder siger:

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

Verifying Concurrent Processes Using Temporal Logic - Lecture Notes in Computer Science 1982 edition

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 )