查詢 text:Abstrakte Interpretation ，共 2 筆
查詢再細分
-
- 主題
- Abstrakte Interpretation(1)
- COMPUTERS(1)
- Computer programs(1)
- Craig, Edward Gordon,(1)
- Criticism and interpretation.(1)
- Formale Methode(1)
- Kongress(1)
- Logiciels(1)
- Méthode formelle.(1)
- Model Checking(1)
-
6 0 0 0 0Edward Gordon Craig-- Figur und Abstraktion :Craigs Theatervisionen und das Schweizerische Marionettentheater : die Edward Gordon Craig-Sammlung im Museum für Gestaltung Zürich
- 作者: Ribi, Hana.
- 出版: [Basel?] : Editions Theaterkultur Verlag 2000.
- 資料類型: 圖書
-
38 0 0 0 0
Verification, model checking, and abstract interpretation :5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings
- 作者: Steffen, Bernhard.
- 出版: Berlin ;New York : Springer ©2004.
- 資料類型: 電子書