The Locator -- [(author = "Jones C B Cliff B 1944-")]

14 records matched your query       

Record 1 | Previous Record | MARC Display | Next Record | Search Results
Title:
Formal methods and hybrid real-time systems [electronic resource] : essays in honour of Dines Bjøerner and Zhou Chaochen on the occasion of their 70th birthdays / Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.).
Format:
[electronic resource] :
Publisher:
Springer,
Copyright Date:
c2007
Description:
1 online resource (xvi, 538 p.) : ill.
Subject:
Bjørner, D.--(Dines),--1937---Congresses.
Zhou, Chaochen,--1937---Congresses.
Formal methods (Computer science)--Congresses.
Real-time data processing--Congresses.
Other Authors:
Bjørner, D. (Dines), 1937-
Zhou, Chaochen, 1937-
Jones, C. B. (Cliff B.), 1944-
Liu, Zhiming, 1961-
Woodcock, Jim.
ICTAC 2007 (2007 : Macau, China)
Notes:
Description based on print. "Papers presented at a symposium held in Macao, China, September 24-25, 2007"--Pref. "Symposium held ... in the course of the International Colloquium on Theoretical Aspects of Computing, ICTAC 2007"--P. [4] of cover. Includes bibliographical references and index.
Series:
Festschrift 0302-9743 ; 4700. Festschrift
LNCS sublibrary. SL1, Theoretical computer science and general issues
ISBN:
3540752218
9783540752219
OCLC:
(OCoLC)184982145
Locations:
USUX851 -- Iowa State University - Parks Library (Ames)

Initiate Another SILO Locator Search

This resource is supported by the Institute of Museum and Library Services under the provisions of the Library Services and Technology Act as administered by State Library of Iowa.