Verifying Concurrent Processes Using Temporal Logic - Lecture Notes in Computer Science - B. T. Hailpern - Böcker - Springer-Verlag Berlin and Heidelberg Gm - 9783540112051 - 1 mars 1982
Om omslag och titel inte matchar är det titeln som gäller

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

Pris
SEK 559

Beställningsvara

Förväntad leverans 6 - 14 jan 2026
Julklappar kan bytas fram till 31:e januari

Våra kunder säger:

14 dagars returrätt
Toppbetyg på Trustpilot
Lägg till din iMusic-önskelista
eller

209 pages, biography

Media Böcker     Pocketbok   (Bok med mjukt omslag och limmad rygg)
Releasedatum 1 mars 1982
ISBN13 9783540112051
Utgivare Springer-Verlag Berlin and Heidelberg Gm
Antal sidor 209
Mått 155 × 233 × 11 mm   ·   312 g
Språk Engelska  

Se alt med B. T. Hailpern ( t.ex. Pocketbok )