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

Publisher

Springer

Publication Date

2007

Language

English

ISBN 10

354075220X

ISBN 13

9783540752202

Binding

Soft cover

Condition

New

Seller catalogs

About this title

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.

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

Store Description

50+ Million Books in stock & ready to ship! Excellent Prices, Service & Selection.

Visit Seller's Storefront

Seller's business information

Sale & Shipping Terms

Terms of Sale

When you see an item on our listing, it means we have it available in one of our warehouses right here right now, ready for same day or next day processing of your order. Over 50+ Million books in stock & ready to ship same day. Customer Service is a top priority for us, we want every customer to be 100% satisfied. We offer the world's largest selection of books, music and video. Maintaining an accurate inventory of more than 50+ Million items, we are able to ship your order the same day it is r...

More Information

Right of cancellation

Shipping Terms

SUPER FAST SHIPPING!

Shipping rates from U.S.A. to United Kingdom

Shipping rates from U.S.A. to United Kingdom
Order quantity	20 to 30 business days	15 to 25 business days
First item	� 22.04	� 73.50

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.