Normal view MARC view ISBD view

Formal methods and hybrid real-time systems : essays in honour of Dines Bjorner and Zhou Chaochen on the occasion of their 70th birthdays

Formal methods and hybrid real-time systems : essays in honour of Dines Bjorner and Zhou Chaochen on the occasion of their 70th birthdays - - Berlin Springer 2007 - xvi,539 p. 23.5 cm - Lecture notes in computer science ; v.4700 .

ISBN: 978-3-540-75220-2

Subjects--Topical Terms:

Computer Science and Engineering
Formal methods(Computer science) , Real-time data processing , Computer architecture , Mathematics-Data processing

Universal Decimal Class. No.: 681.3For

Print
Add to your cart (remove)
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)