Formal Methods and Hybrid Real-Time Systems Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays
by Cliff B. Jones
Available
Ships From New York
Free Shipping within U.S.A
International Shipping?
Check Delivery Estimate and
Shipping Cost
for your country
Publisher: | Springer |
Published In: | 06-Sep-2007 |
ISBN-10: | 354075220X |
ISBN-13: | 9783540752202 |
Binding Type: | Paperback |
Weight: | 2.02 lbs |
Pages: | pp. 562, Illus. |
The Title "Formal Methods and Hybrid Real-Time Systems Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays 1st Edition" is written by Cliff B. Jones. This book was published in the year 2007. The ISBN number 354075220X|9783540752202 is assigned to the Paperback version of this title. The book displayed here is a 1st Edition edition. This book has total of pp. xvi + 539 (Pages). The publisher of this title is Springer. We have about 165869 other great books from this publisher. Formal Methods and Hybrid Real-Time Systems Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays 1st Edition is currently Available with us.