Formal methods in software and systems modeling
essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday
Gespeichert in:
Verfasser / Beitragende:
Hans-Jörg Kreowski ... [et al.] (eds.)
Ort, Verlag, Jahr:
Berlin :
Springer,
2005
Beschreibung:
411 S. : Ill.
Format:
Buch (Kongress)
Online Zugang: