Low Price Guarantee
We Take School POs
Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays 2007 Edition
Contributor(s): Jones, Cliff B. (Editor), Liu, Zhiming (Editor), Woodcock, Jim (Editor)

View larger image

ISBN: 354075220X     ISBN-13: 9783540752202
Publisher: Springer
OUR PRICE: $52.24  

Binding Type: Paperback - See All Available Formats & Editions
Published: September 2007
Qty:
Additional Information
BISAC Categories:
- Computers | Software Development & Engineering - General
- Computers | Networking - General
- Computers | Logic Design
Dewey: 004.33
LCCN: 2007935177
Physical Information: 1.14" H x 6.14" W x 9.21" L (1.71 lbs) 542 pages
Features: Bibliography, Illustrated, Index
 
Descriptions, Reviews, Etc.
Publisher Description:

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.

 
Customer ReviewsSubmit your own review
 
To tell a friend about this book, you must Sign In First!