Formal methods in software and systems modeling
Subtitle: essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday
By: Hans-Jörg Kreowski ... [et al.] (eds.).
Contributors: Ehrig, Hartmut.; Kreowski, H.-J.
Series: Lecture notes in computer science,; 3393; Festschrift; Lecture notes in computer science.
Publisher: Springer
Published: 2005
Place of publication: Berlin; New York
Language: eng
Number of pages: 411
Subjects: Formal methods (Computer science); Computer software.; Computer systems -- Design.
Notes: Includes bibliographical references and index.