Description:
Springer, 2007-11-09. Paperback. Very Good. 9x6x1. Ex-library paperback in very nice condition with the usual markings and attachments.Except for library markings, interior clean and unmarked. Tight binding.
Stock Photo: Cover May Be Different
Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays Paperback - 2007
by Cliff B. Jones (Editor); Zhiming Liu (Editor); Jim Woodcock (Editor)
Details
- 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 Cliff B. Jones (Editor); Zhiming Liu (Editor); Jim Woodcock (Editor)
- Binding Paperback
- Edition 1st
- Pages 542
- Volumes 1
- Language ENG
- Publisher Springer
- Date 2007-09-06
- Illustrated Yes
- Features Bibliography, Illustrated, Index
- ISBN 9783540752202 / 354075220X
- Weight 1.71 lbs (0.78 kg)
- Dimensions 9.21 x 6.14 x 1.14 in (23.39 x 15.60 x 2.90 cm)
- Library of Congress Catalog Number 2007935177
- Dewey Decimal Code 004.33
More Copies for Sale
Stock Photo: Cover May Be Different
Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays (Lecture ... Computer Science and General Issues)
by Jones, Cliff [Editor]; Liu, Zhiming [Editor]; Woodcock, Jim [Editor];
- Used
- very good
- Paperback
- Condition
- Used - Very Good
- Binding
- Paperback
- ISBN 13
- 9783540752202
- ISBN 10
- 354075220X
- Quantity Available
- 1
- Seller
-
Spring Branch, Texas, United States
- Item Price
-
$43.06$5.99 shipping to USA
Show Details
Item Price
$43.06
$5.99
shipping to USA
Stock Photo: Cover May Be Different
Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays
- Used
- good
- Paperback
- Condition
- Used - Good
- Binding
- Paperback
- ISBN 13
- 9783540752202
- ISBN 10
- 354075220X
- Quantity Available
- 1
- Seller
-
Seattle, Washington, United States
- Item Price
-
$47.93FREE shipping to USA
Show Details
Description:
Springer, 2007. Paperback. Good. Former library book; Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.Dust jacket quality is not guaranteed.
Item Price
$47.93
FREE shipping to USA
Stock Photo: Cover May Be Different
Formal Methods And Hybrid Real-time Systems: Essays In Honour Of Dines Bjorner And Zhou Chaochen On The Occasion Of Their 70th Birthdays
- New
- Condition
- New
- ISBN 13
- 9783540752202
- ISBN 10
- 354075220x
- Quantity Available
- 1
- Seller
-
New Delhi, India
- Item Price
-
$48.12$5.00 shipping to USA
Show Details
Description:
New/New. Brand New Original US Edition, Perfect Condition. Printed in English. Excellent Quality, Service and customer satisfaction guaranteed!
Item Price
$48.12
$5.00
shipping to USA
Stock Photo: Cover May Be Different
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
- New
- Condition
- New
- ISBN 13
- 9783540752202
- ISBN 10
- 354075220x
- Quantity Available
- 204
- Seller
-
Uxbridge, Greater London, United Kingdom
- Item Price
-
$67.02$10.08 shipping to USA
Show Details
Description:
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays.
Item Price
$67.02
$10.08
shipping to USA
Stock Photo: Cover May Be Different
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
- New
- Paperback
- Condition
- New
- Binding
- Paperback
- ISBN 13
- 9783540752202
- ISBN 10
- 354075220x
- Quantity Available
- 10
- Seller
-
Southport, Merseyside, United Kingdom
- Item Price
-
$75.99$12.55 shipping to USA
Show Details
Description:
Paperback / softback. New. The volume includes 25 refereed papers by leading researchers, current and former colleagues, who congregated at a celebratory symposium held in Macao, China, in the course of the International Colloquium on Theoretical Aspects of Computing, ICTAC 2007.
Item Price
$75.99
$12.55
shipping to USA
Stock Photo: Cover May Be Different
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
- Binding
- Paperback
- ISBN 13
- 9783540752202
- ISBN 10
- 354075220X
- Quantity Available
- 2
- Seller
-
Exeter, Devon, United Kingdom
- Item Price
-
$79.11$12.62 shipping to USA
Show Details
Description:
Springer-Verlag New York Inc, 2007. Paperback. New. 1st edition. 539 pages. 9.00x5.75x1.25 inches.
Item Price
$79.11
$12.62
shipping to USA
Stock Photo: Cover May Be Different
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, ZHIMING LIU, JIM WOODCOCK,
- New
- Paperback
- first
- Condition
- New
- Edition
- 1st
- Binding
- Paperback
- ISBN 13
- 9783540752202
- ISBN 10
- 354075220x
- Quantity Available
- 5
- Seller
-
New Delhi, India
- Item Price
-
$73.00$10.00 shipping to USA
Show Details
Description:
Springer, 2007. 1st. Paperback. New/New.
Item Price
$73.00
$10.00
shipping to USA
Stock Photo: Cover May Be Different
Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays (Lecture ... Computer Science and General Issues)
by Cliff B. Jones (Editor), Zhiming Liu (Editor), Jim Woodcock (Editor)
- Used
- Paperback
- Condition
- Used:Good
- Edition
- 2007
- Binding
- Paperback
- ISBN 13
- 9783540752202
- ISBN 10
- 354075220X
- Quantity Available
- 1
- Seller
-
HOUSTON, Texas, United States
- Item Price
-
$92.90FREE shipping to USA
Show Details
Description:
Springer, 2007-11-09. 2007. Paperback. Used:Good.
Item Price
$92.90
FREE shipping to USA
Stock Photo: Cover May Be Different
Formal Methods and Hybrid Real-Time Systems
- Used
- Condition
- Used
- ISBN 13
- 9783540752202
- ISBN 10
- 354075220X
- Quantity Available
- 1
- Seller
-
Woodside, New York, United States
- Item Price
-
$107.84$3.99 shipping to USA
Show Details
Description:
Springer , pp. 562 . Papeback. Used.
Item Price
$107.84
$3.99
shipping to USA