Verifying Concurrent Processes Using Temporal Logic - Lecture Notes in Computer Science - B. T. Hailpern - Bøker - Springer-Verlag Berlin and Heidelberg Gm - 9783540112051 - 1. mars 1982
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

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

B. T. Hailpern

Pris
DKK 358,40

Bestillingsvarer

Forventes levert 7. - 15. aug

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste
Eller

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

209 pages, biography

Media Bøker     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt 1. mars 1982
ISBN13 9783540112051
Utgivere Springer-Verlag Berlin and Heidelberg Gm
Antall sider 209
Mål 155 × 233 × 11 mm   ·   312 g
Språk Engelsk  

Se alt med B. T. Hailpern ( f.eks. Pocketbok )