Research Catalog

Formal methods in software and systems modeling : essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday

Title
Formal methods in software and systems modeling : essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday / Hans-Jörg Kreowski [and others] (eds.).
Publication
Berlin ; New York : Springer, [2005], ©2005.

Available Online

Connect to electronic version (PDF)

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
Book/TextRequest in advance QA76.9.F67 F66 2005gOff-site

Details

Additional Authors
  • Ehrig, Hartmut
  • Kreowski, H.-J. (Hans-Jörg)
Description
xxvii, 411 pages : illustrations; 24 cm.
Series Statement
  • Lecture notes in computer science, 0302-9743 ; 3393
  • Festschrift
Uniform Title
  • Lecture notes in computer science. Festschrift.
  • Lecture notes in computer science ; 3393.
Subject
  • Formal methods (Computer science)
  • Computer software
  • Computers > Design
Bibliography (note)
  • Includes bibliographical references and index.
ISBN
3540249362
LCCN
2005920315
OCLC
  • ocm58472771
  • SCSB-5161576
Owning Institutions
Columbia University Libraries