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

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

Pris
NOK 569

Bestillingsvarer

Forventes levert 6. - 14. jan 2026
Julegaver kan byttes frem til 31. januar

Kundene våre sier:

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

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 )