Construction and analysis of transition systems with MEC /
保存先:
| 第一著者: | Arnold, A. 1945-) |
|---|---|
| その他の著者: | Crubillé, Paul., Bégay, Didier. |
| フォーマット: | Sách giấy |
| 出版事項: |
Singapore ; River Edge, NJ :
World Scientific,
c1994.
|
| シリーズ: | AMAST series in computing ;
vol. |
| タグ: |
タグ追加
タグなし, このレコードへの初めてのタグを付けませんか!
|
| Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
|---|
類似資料
Tools and Algorithms for the Construction and Analysis of Systems
著者:: Vojnar, Tomáš, 等
出版事項: (2020)
著者:: Vojnar, Tomáš, 等
出版事項: (2020)
類似資料
-
Construction and analysis of transition systems with MEC /
著者:: Arnold, A. 1945-)
出版事項: (1994) -
Construction and analysis of transition systems with mec /
著者:: Arnold, André
出版事項: (1994) -
iMEC-APCOMS 2019
著者:: Zahid, Muhammed Nafis Osman, 等
出版事項: (2020) -
Systems Analysis and Design and the Transition to Objects /
著者:: Dewitz, Sandra Donaldson
出版事項: (1996) -
Tools and Algorithms for the Construction and Analysis of Systems
出版事項: (2020)


