Formal Methods in Software and Systems Modeling : Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday /
Đã lưu trong:
| Tác giả chính: | |
|---|---|
| Định dạng: | Sách |
| Ngôn ngữ: | Tiếng Anh |
| Được phát hành: |
Berlín, Alemania :
Springer,
2005, c2005
|
| Loạt: | (Lecture Notes in Computer Science)
|
| Truy cập trực tuyến: | Ver documento en línea |
| Các nhãn: |
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
|
Những quyển sách tương tự: Formal Methods in Software and Systems Modeling :
- Rigorous Methods for Software Construction and Analysis : Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday /
- Theories of Programming and Formal Methods : Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday /
- Rainbow of Computer Science : Essays Dedicated to Hermann Maurer on the Occasion of His 70th Birthday /
- Languages: From Formal to Natural : Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday /
- Theory Is Forever : Essays Dedicated to Arto Salomaa on the Occasion of His 70th Birthday /
- Data Management in a Connected World : Essays Dedicated to Hartmut Wedekind on the Occasion of His 70th Birthday /