Formal methods in software and systems modeling essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday / Hans-Jörg Kreowski ... [et al.] (eds.).

Other author Ehrig, Hartmut.
Other author Kreowski, H.-J. (Hans-Jörg)
Format Electronic
Publication InfoBerlin ; New York : Springer,
Descriptionxxvii, 411 p. : ill. ; 24 cm.
Supplemental ContentFull text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present)
Subjects

SeriesLecture notes in computer science, 0302-9743 ; 3393
Festschrift
Lecture notes in computer science. Festschrift. ^A601151
Bibliography noteIncludes bibliographical references and index.
Access restrictionAvailable only to authorized users.
Technical detailsMode of access: World Wide Web
Genre/formElectronic books.
LCCN 2005920315
ISBN3540249362

Availability

Library Location Call Number Status Item Actions
Electronic Resources Access Content Online ✔ Available