عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.3393
QA
76
.
L28
Vol
.
3393
کتابخانه
محل استقرار
Formal methods in software and systems modeling : essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday
Berlin
Springer-Verlag
c2005
xxvii, 411 p.: ill
Lecture notes in computer science; 3933
"Festschrift"
Includes bibliographies; Bibliography of Harmutt Ehrig : p. XI-XXVII
ISBN: 3540249362
Hans-Jorg Kreowski...]et al.[ )eds.(
1
، Formal methods )Computer science(
، Computer software
Design ، Computer systems
QA
76
.
L28
Vol
.
3393
TI
AU Ehrig, Hartmut, 1944-
AU Kreowski, Hans-Jorg
SE
