Formal Methods and Hybrid Real-Time Systems Essays in Honor of Dines Bjorner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

Cover image for Formal Methods and Hybrid Real-Time Systems Essays in Honor of Dines Bjorner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Title:

Formal Methods and Hybrid Real-Time Systems Essays in Honor of Dines Bjorner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Series:

Lecture Notes in Computer Science, 4700

Publication Information:

Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007

Physical Description:

xvi, 538 p. : ill., digital ; 24 cm.

ISBN:

9783540752219

Subject Term:

Formal methods (Computer science) -- Congresses

Real-time data processing -- Congresses

Added Author:

Jones, Cliff B.

Added Corporate Author:

SpringerLink (Online service)

Electronic Access:

Genre:

DSP_RESTRICTION_NOTE:

Remote access restricted to users with a valid UTM ID via VPN

Available:*

Library	Item Barcode	Call Number	Material Type	Item Category 1	Status
Searching... PSZ JB	EB000687	EB 000687	Electronic Book	1:EBOOK	Searching... Unknown

On Order

Summary

Summary

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.