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/New
- ISBN 10
- 354075220X
- ISBN 13
- 9783540752202
- Seller
-
New Delhi, India
5 Copies Available from This Seller
(You can add more at checkout.)
Payment Methods Accepted
About This Item
Springer, 2007. 1st. Paperback. New/New.
Synopsis
Papers presented at a symposium held in Macao, China, Sept. 24-25, 2007 during the course of the International Colloquium on Theoretical Aspects of Computing. Includes bibliographical references and author index.
Reviews
(Log in or Create an Account first!)
Details
- Bookseller
- DELHI BOOK STORE (IN)
- Bookseller's Inventory #
- AME_9783540752202
- 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, ZHIMING LIU, JIM WOODCOCK,
- Format/Binding
- Paperback
- Book Condition
- New New
- Jacket Condition
- New
- Quantity Available
- 5
- Edition
- 1st
- ISBN 10
- 354075220X
- ISBN 13
- 9783540752202
- Publisher
- Springer
- Date Published
- 2007
- Keywords
- COMPUTER SCIENCE FORMAL METHODS AND HYBRID REAL-TIME SYSTEMS: ESSAYS IN HONOUR OF DINES BJORNER AND ZHOU CHAOCHEN ON THE OCCASION OF THEIR 70TH BIRTHDAYS
Terms of Sale
DELHI BOOK STORE
BOOKS CAN BE RETURNED IF IT IS UNOPENED OR SHRINK WRAP IS NOT BROKEN.
About the Seller
DELHI BOOK STORE
Biblio member since 2007
New Delhi
About DELHI BOOK STORE
Our prime concern is to make books available with its extensive choices of titles on all subjects for medicine, engineers, technocrats, corporates, scientists, academics, students, scholars and many more at attractive price range.