Libmax

Sign in

e

Formal Methods and Hybrid Real-Time Systems (Lecture Notes in Computer Science, 4700)

An electronic copy of book is available for Library Members

Share Locate It Reserve

Further Details Info

Title	Formal Methods and Hybrid Real-Time Systems (Lecture Notes in Computer Science, 4700)
Call No
Authors	Cliff B. Jones , Zhiming Liu , Jim Woodcock
Subjects	Springer 2004

An electronic copy of book is available for Library Members Sign in to view the book

no reviews

Sub Title:
Edition:
Volume:
Publisher:
Publishing Year: 101
ISBN:
Pages:

245: $a: Formal Methods and Hybrid Real-Time Systems (Lecture Notes in Computer Science, 4700)
245: $b:
082: $a:
100: $a:Cliff B. Jones, Zhiming Liu, Jim Woodcock
650: $a:Springer 2004
250: $a:
440: $v:
250: $b:
250: $c: 101
020: $a:
300: $a:

Formal Methods and Hybrid Real-Time Systems (Lecture Notes in Computer Science, 4700)

Further Details Info

Quick Links

Student

About Us

Follow us on Facebook