عنوان
پدید آورنده
موضوع
رده
QA،76.9،.F67,F525،2007
QA
،
76
.
9
،.
F67
,
F525
،
2007
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
354075220X (pbk.)
English Book
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Formal methods and hybrid real-time systems
Other Title Information
essays in honour of Dines Bj▓erner and Zhou Chaochen on the occasion of their 70th birthdays
First Statement of Responsibility
Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin ;New York
Name of Publisher, Distributor, etc.
Springer,
Date of Publication, Distribution, etc.
c2007
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xvi, 538 p. , ill. , 24 cm.
SERIES
Series Title
Series: Lecture notes in computer science ;4700.
Series Title
Series: Lecture notes in computer science.Festschrift.
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references and index.
TOPICAL NAME USED AS SUBJECT
Entry Element
Bj▓rner, D., (Dines), 1937-
Entry Element
Chaochen, Zhou
Entry Element
Formal methods (Computer science), Congresses
Entry Element
Real-time data processing, Congresses
DEWEY DECIMAL CLASSIFICATION
Number
004
.
33
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
Book number
76
.
9
Classification Record Number
.
F67
,
F525
2007
PERSONAL NAME - SECONDARY RESPONSIBILITY
Entry Element
Bj▓rner, D.(Dines),1937-
Entry Element
Zhou, Chaochen,1937-
Entry Element
Jones, C. B.(Cliff B.),1944-
Entry Element
Liu, Zhiming,1961-
Entry Element
Woodcock, Jim.
