Items related to Formal Methods and Hybrid Real-Time Systems: Essays...

Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays: 4700 (Lecture Notes in Computer Science, 4700) - Softcover

 
9783540752202: Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays: 4700 (Lecture Notes in Computer Science, 4700)

Synopsis

This Festschrift volume is published to honour both Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays. 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. The papers cover a broad spectrum of subjects.

"synopsis" may belong to another edition of this title.

Buy Used

Condition: Very Good
Ex-library paperback in very nice...
View this item

£ 55.53 shipping from U.S.A. to United Kingdom

Destination, rates & speeds

Buy New

View this item

FREE shipping from U.S.A. to United Kingdom

Destination, rates & speeds

Other Popular Editions of the Same Title

9783540844280: Formal Methods and Hybrid Real-Time Systems

Featured Edition

ISBN 10:  3540844287 ISBN 13:  9783540844280
Publisher: Springer, 2008
Softcover

Search results for Formal Methods and Hybrid Real-Time Systems: Essays...

Stock Image

0
Published by Springer, 2007
ISBN 10: 354075220X ISBN 13: 9783540752202
New Softcover

Seller: Basi6 International, Irving, TX, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEJUNE24-270245

Contact seller

Buy New

£ 38.44
Convert currency
Shipping: FREE
From U.S.A. to United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Published by Springer, 2007
ISBN 10: 354075220X ISBN 13: 9783540752202
New Softcover

Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Seller Inventory # ABNR-85748

Contact seller

Buy New

£ 38.44
Convert currency
Shipping: FREE
From U.S.A. to United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Published by Springer, 2007
ISBN 10: 354075220X ISBN 13: 9783540752202
New Softcover

Seller: Majestic Books, Hounslow, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. pp. 562 Illus. Seller Inventory # 7542907

Contact seller

Buy New

£ 43.33
Convert currency
Shipping: £ 3.35
Within United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Published by Springer, 2007
ISBN 10: 354075220X ISBN 13: 9783540752202
New Softcover

Seller: Ria Christie Collections, Uxbridge, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. In. Seller Inventory # ria9783540752202_new

Contact seller

Buy New

£ 50.82
Convert currency
Shipping: FREE
Within United Kingdom
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Published by Springer, 2007
ISBN 10: 354075220X ISBN 13: 9783540752202
New Softcover

Seller: Books Puddle, New York, NY, U.S.A.

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

Condition: New. pp. 562. Seller Inventory # 26305060

Contact seller

Buy New

£ 44.99
Convert currency
Shipping: £ 6.66
From U.S.A. to United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Liu Zhiming Jones Cliff B. Woodcock Jim
Published by Springer, 2007
ISBN 10: 354075220X ISBN 13: 9783540752202
New Softcover

Seller: Biblios, Frankfurt am main, HESSE, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. pp. 562. Seller Inventory # 18305070

Contact seller

Buy New

£ 46.11
Convert currency
Shipping: £ 6.73
From Germany to United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Seller Image

Cliff B. Jones
ISBN 10: 354075220X ISBN 13: 9783540752202
New Taschenbuch
Print on Demand

Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This Festschrift volume is published to honour both Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays. 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. The papers cover a broad spectrum of subjects. 560 pp. Englisch. Seller Inventory # 9783540752202

Contact seller

Buy New

£ 46.65
Convert currency
Shipping: £ 9.31
From Germany to United Kingdom
Destination, rates & speeds

Quantity: 2 available

Add to basket

Seller Image

Cliff B. Jones
Published by Springer Berlin Heidelberg, 2007
ISBN 10: 354075220X ISBN 13: 9783540752202
New Taschenbuch

Seller: AHA-BUCH GmbH, Einbeck, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This Festschrift volume is published to honour both Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays. 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. The papers cover a broad spectrum of subjects. Seller Inventory # 9783540752202

Contact seller

Buy New

£ 46.65
Convert currency
Shipping: £ 11.85
From Germany to United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Seller Image

Jones, Cliff B.|Liu, Zhiming|Woodcock, Jim
Published by Springer Berlin Heidelberg, 2007
ISBN 10: 354075220X ISBN 13: 9783540752202
New Kartoniert / Broschiert

Seller: moluna, Greven, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Kartoniert / Broschiert. Condition: New. Seller Inventory # 4900156

Contact seller

Buy New

£ 42.19
Convert currency
Shipping: £ 21.16
From Germany to United Kingdom
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Jones, Cliff B. (Editor)/ Liu, Zhiming (Editor)/ Woodcock, Jim (Editor)
Published by Springer-Verlag New York Inc, 2007
ISBN 10: 354075220X ISBN 13: 9783540752202
New Paperback

Seller: Revaluation Books, Exeter, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Paperback. Condition: Brand New. 1st edition. 539 pages. 9.00x5.75x1.25 inches. In Stock. Seller Inventory # x-354075220X

Contact seller

Buy New

£ 68.99
Convert currency
Shipping: £ 6.99
Within United Kingdom
Destination, rates & speeds

Quantity: 2 available

Add to basket

There are 4 more copies of this book

View all search results for this book