Delivery included to the United States

Compositional Verification of Concurrent and Real-Time Systems

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

2002

Hardback (30 Apr 2002)

Save $14.13

  • RRP $123.03
  • $108.90
Add to basket

Includes delivery to the United States

10+ copies available online - Usually dispatched within 7 days

Publisher's Synopsis

Book information

ISBN: 9781402070259
Publisher: Springer US
Imprint: Springer
Pub date:
Edition: 2002
DEWEY: 004.35
DEWEY edition: 21
Language: English
Number of pages: 196
Weight: 1080g
Height: 234mm
Width: 156mm
Spine width: 14mm