查詢 ext:Formal methods (Computer science ,共 11 筆
查詢再細分
-
- 語言
- 英語(11)
-
- 作者
- Astesiano, E.(1)
- Boiten, Eerke,(1)
- DeBessonet, Cary G.(1)
- Derrick, John,(1)
- Glymour, Clark N.(1)
- Graf, Susanne.(1)
- Guelfi, Nicolas,(1)
- Harel, David,(1)
- Jensen, K.(1)
- Junqua, Jean-Claude.(1)
-
- 資料類型
- 電子書(11)
-
- 主題
- COMPUTERS(10)
- Kongress(4)
- Logiciels(4)
- Model Checking(4)
- Computer software(3)
- Formal methods (Computer science)(3)
- Formale Methode(3)
- Méthode formelle.(3)
- Méthodes formelles (Informatique)(3)
- Programmverifikation(3)
- More
-
4 0 0 0 0
Formal techniques for networked and distributed systems :FORTE 2001 : IFIP TC6 WG6.1-21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea
- 作者: Kim, Myungchul.
- 出版: New York : Kluwer Academic Publishers ©2002.
- 資料類型: 電子書
-
-
9 0 0 0 0
Formal approaches to software testing :Third International Workshop on Formal Approaches to Testing of Software : FATES 2003 : Montreal, Quebec, Canada, October 6th, 2003 : revised papers
- 作者: Petrenko, Alexandre.
- 出版: Berlin ;New York : Springer-Verlag ©2004.
- 資料類型: 電子書
-
59 0 0 0 0
Integrated Formal Methods :4th International Conference, IFM 2004, Cnaterbury, UK, April 4-7, 2004. Proceedings
- 作者: Boiten, Eerke,
- 出版: Berlin ;Heidelberg : Springer-Verlag Berlin Heidelberg 2004.
- 資料類型: 電子書
-
35 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.
- 資料類型: 電子書
-
8 0 0 0 0
A many-valued approach to deduction and reasoning for artificial intelligence
- 作者: DeBessonet, Cary G.
- 出版: Boston : Kluwer Academic ©1991.
- 資料類型: 電子書
-
7 0 0 0 0
Scientific engineering of distributed Java applications :third international workshop, FIDJI 2003, Luxembourg-Kirchberg, Luxembourg, November 27-28, 2003 : revised papers
- 作者: Guelfi, Nicolas,
- 出版: Berlin ;New York : Springer-Verlag 2004.
- 資料類型: 電子書
-
8 0 0 0 0
Model checking software :11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 : proceedings
- 作者: Graf, Susanne.
- 出版: Berlin ;New York : Springer ©2004.
- 資料類型: 電子書
-
6 0 0 0 0
Robust speech recognition in embedded systems and PC applications
- 作者: Junqua, Jean-Claude.
- 出版: Boston, MA : Kluwer Academic Publishers 2002.
- 資料類型: 電子書
-
9 0 0 0 0
Tools and algorithms for the construction and analysis of systems :10th international conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings
- 作者: Jensen, K.
- 出版: Berlin ;New York : Springer-Verlag 2004.
- 資料類型: 電子書