Vertel uw vrienden over dit artikel:
Verifying Temporal Properties of Systems - Progress in Theoretical Computer Science
J C Bradfield
Verifying Temporal Properties of Systems - Progress in Theoretical Computer Science
J C Bradfield
116 pages, black & white illustrations, bibliography
Media | Boeken Paperback Book (Boek met zachte kaft en gelijmde rug) |
Vrijgegeven | 25 februari 2012 |
ISBN13 | 9781468468212 |
Uitgevers | Birkhauser |
Pagina's | 116 |
Afmetingen | 156 × 234 × 7 mm · 185 g |
Bekijk alles van J C Bradfield ( bijv. Paperback Book )