H. M. · HAAS. M. · Hays-M · Hugh M.
| Titel | Art | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|---|
| Computer and Information Science 2009 | Taschenbuch | 978-3-642-10174-8 (3-642-10174-7) | 2010 | Roger Lee · Gongzu Hu |
| Computer and Information Science 2009 | Gebunden | 978-3-642-01208-2 (3-642-01208-6) | 2009 | Roger Lee · Gongzu Hu |
| Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, ... Notes in Computer Science , Band 2495) | Taschenbuch | 978-3-540-00029-7 (3-540-00029-1) | 2002 | Chris George |