-
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
-
Link To Document :