Delivery included to the United States

Compositional Verification of Concurrent and Real-Time Systems

Compositional Verification of Concurrent and Real-Time Systems - The Springer International Series in Engineering and Computer Science

Softcover reprint of the original 1st Edition 2002

Paperback (26 Oct 2012)

Save $19.33

  • RRP $123.03
  • $103.70
Add to basket

Includes delivery to the United States

10+ copies available online - Usually dispatched within 7 days

Publisher's Synopsis

Book information

ISBN: 9781461353492
Publisher: Springer US
Imprint: Springer
Pub date:
Edition: Softcover reprint of the original 1st Edition 2002
Language: English
Number of pages: 196
Weight: 343g
Height: 235mm
Width: 155mm
Spine width: 12mm