Verifying Concurrent Processes Using Temporal Logic - Lecture Notes in Computer Science - B. T. Hailpern - Boeken - Springer-Verlag Berlin and Heidelberg Gm - 9783540112051 - 1 maart 1982
Indien omslag en titel niet overeenkomen, is de titel correct

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

B. T. Hailpern

Prijs
SEK 589

Besteld in een afgelegen magazijn

Verwachte levering 4 - 12 sep.
Voeg toe aan uw iMusic-verlanglijst
Eller

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

209 pages, biography

Media Boeken     Paperback Book   (Boek met zachte kaft en gelijmde rug)
Vrijgegeven 1 maart 1982
ISBN13 9783540112051
Uitgevers Springer-Verlag Berlin and Heidelberg Gm
Pagina's 209
Afmetingen 155 × 233 × 11 mm   ·   312 g
Taal en grammatica Engels