عنوان
پدید آورنده
موضوع
رده
QA،76.9،.F67,F525،2007
QA
،
76
.
9
،.
F67
,
F525
،
2007
کتابخانه
محل استقرار
354075220X (pbk.)
English Book
Formal methods and hybrid real-time systems
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.)
Berlin ;New York
Springer,
c2007
xvi, 538 p. , ill. , 24 cm.
Series: Lecture notes in computer science ;4700.
Series: Lecture notes in computer science.Festschrift.
Includes bibliographical references and index.
Bj▓rner, D., (Dines), 1937-
Chaochen, Zhou
Formal methods (Computer science), Congresses
Real-time data processing, Congresses
004
.
33
QA
76
.
9
.
F67
,
F525
2007
Bj▓rner, D.(Dines),1937-
Zhou, Chaochen,1937-
Jones, C. B.(Cliff B.),1944-
Liu, Zhiming,1961-
Woodcock, Jim.
