Actions for Formal methods in software and systems modeling [electronic resource] : essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday

Email RIS file
Bookmark
Report an Issue

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

Published
Berlin ; New York : Springer, [2005]
Copyright Date
©2005
Physical Description
1 online resource (xxvii, 411 pages) : illustrations
Additional Creators
Ehrig, Hartmut and Kreowski, H.-J. (Hans-Jörg)
Access Online

Availability

I Want It
I Want It

Finding items...

Series
Subject(s)
ISBN
9783540318477
354031847X
3540249362
9783540249368
9786611406127
6611406123
Note
AVAILABLE ONLINE TO AUTHORIZED PSU USERS.
Bibliography Note
Includes bibliographical references and index.
Reproduction Note
Electronic reproduction. Berlin : Springer, 2005. Mode of access: World Wide Web. Available via SpringerLink.
View MARC record | catkey: 4562845