
Vertel uw vrienden over dit artikel:
Verifying Concurrent Processes Using Temporal Logic - Lecture Notes in Computer Science 1982 edition
B. T. Hailpern
Verifying Concurrent Processes Using Temporal Logic - Lecture Notes in Computer Science 1982 edition
B. T. Hailpern
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 |
Bekijk alles van B. T. Hailpern ( bijv. Paperback Book )