Verifying Temporal Properties of Systems - Progress in Theoretical Computer Science - J C Bradfield - Books - Birkhauser - 9781468468212 - February 25, 2012
In case cover and title do not match, the title is correct

Verifying Temporal Properties of Systems - Progress in Theoretical Computer Science

J C Bradfield

Price
€ 69.49

Ordered from remote warehouse

Expected delivery Jan 15 - 24, 2025
Christmas presents can be returned until 31 January

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Verifying Temporal Properties of Systems - Progress in Theoretical Computer Science

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 )