Formal methods in software and systems modeling : essays dedicated to Hartmut Ehrig on the occasion - detaljert visning

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.)
Bok Engelsk 2005


Utgitt	Berlin : Springer , c2005
Omfang	XXVII, 411 s. : ill.
Opplysninger	"Bibliography of Hartmut Ehrig": s. [XI]-XXVII. - På omslaget: Festschrift
Emner	Computer software Computer systems - Design Formal methods (Computer science) Formell spesifikasjon (Programutvikling) Programutvikling
ISBN	3540249362