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

Saved in:

Bibliographic Details
Corporate Author:	ICTAC (Colloquium)
Other Authors:	Bjørner, D. (Dines), 1937-, Zhou, Chaochen, 1937-, Jones, C. B. (Cliff B.), 1944-, Liu, Zhiming, 1961-, Woodcock, Jim
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin ; New York : Springer, [2007], ©2007.
Series:	Lecture notes in computer science ; 4700. Lecture notes in computer science. Festschrift. LNCS sublibrary. Theoretical computer science and general issues.
Subjects:	Formal methods (Computer science) > Congresses. Real-time data processing > Congresses. Bjørner, D. > (Dines), > 1937- > Congresses. Zhou, Chaochen, > 1937- > Congresses. Bjørner, D. > (Dines), > 1937- Real-time data processing. Formal methods (Computer science) Conference papers and proceedings.
Open Policy Finder:	Search Open Policy Finder by ISSN

Annex

Holdings details from Annex
Call Number:	QA 76.9 .F67 F525 2007
	Available Request Request a scan of an article or book chapter