Tell your friends about this item:
Verifying Temporal Properties of Systems - Progress in Theoretical Computer Science
J C Bradfield
Price
S$ 88.50
Ordered from remote warehouse
Expected delivery Mar 7 - 20
Our customers say:
Add to your iMusic wish list
Verifying Temporal Properties of Systems - Progress in Theoretical Computer Science
J C Bradfield
116 pages, black & white illustrations, bibliography
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | February 25, 2012 |
| ISBN13 | 9781468468212 |
| Publishers | Birkhauser |
| Pages | 116 |
| Dimensions | 156 × 234 × 7 mm · 185 g |
See all of J C Bradfield ( e.g. Paperback Book )