Skip to content

Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays

Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays

Stock Photo: Cover May Be Different
Click for full-size.

Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays

by Jones, Cliff B. (Editor)/ Liu, Zhiming (Editor)/ Woodcock, Jim (Editor)

  • New
  • Paperback
Condition
New
ISBN 10
354075220X
ISBN 13
9783540752202
Seller
Seller rating:
This seller has earned a 4 of 5 Stars rating from Biblio customers.
Exeter, Devon, United Kingdom
2 Copies Available from This Seller
(You can add more at checkout.)
Item Price
$79.20
Or just $71.28 with a
Bibliophiles Club Membership
$12.70 Shipping to USA
Standard delivery: 14 to 21 days

More Shipping Options

Payment Methods Accepted

  • Visa
  • Mastercard
  • American Express
  • Discover
  • PayPal

About This Item

Springer-Verlag New York Inc, 2007. Paperback. New. 1st edition. 539 pages. 9.00x5.75x1.25 inches.

Reviews

(Log in or Create an Account first!)

You’re rating the book as a work, not the seller or the specific copy you purchased!

Details

Bookseller
Revaluation Books GB (GB)
Bookseller's Inventory #
x-354075220X
Title
Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays
Author
Jones, Cliff B. (Editor)/ Liu, Zhiming (Editor)/ Woodcock, Jim (Editor)
Format/Binding
Paperback
Book Condition
New New
Quantity Available
2
ISBN 10
354075220X
ISBN 13
9783540752202
Publisher
Springer-Verlag New York Inc
Date Published
2007

Terms of Sale

Revaluation Books

30 day return guarantee, with full refund including original shipping costs for up to 30 days after delivery if an item arrives misdescribed or damaged.

About the Seller

Revaluation Books

Seller rating:
This seller has earned a 4 of 5 Stars rating from Biblio customers.
Biblio member since 2020
Exeter, Devon

About Revaluation Books

General bookseller of both fiction and non-fiction.

Glossary

Some terminology that may be used in this description includes:

New
A new book is a book previously not circulated to a buyer. Although a new book is typically free of any faults or defects, "new"...
tracking-