RecordNumber
78527
Title
Formal methods in software and systems modeling : essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday
Editor
Hans-Jorg Kreowski ... [et al.] (eds.)
Publication
Springer
Publication Year
c2005
Collation
xxvii, 411 p. : ill
Series
Lecture notes in computer science; 3393 : Festschrift
Bibliography
Includes bibliographies
Subject
Formal methods (Computer science) , Computer software , Computer systems-Design
ADDED ENTRIES
Ehrig, Hartmut, ed
Main Class
004
Sub Class
.1015
Cutter no
F723
وارد كنندة اطلاعات
zharfi^d2006/08/09 14:19:05