查詢 text:model checking software ，共 8 筆
查詢再細分
-
- 語言
- 英語(8)
-
- 作者
- Amon, Cherie.(1)
- Boiten, Eerke,(1)
- Cortadella, J.(1)
- Derrick, John,(1)
- Graf, Susanne.(1)
- Jensen, K.(1)
- Levi, G.(1)
- Maxwell, Doug,(1)
- Mounier, Laurent.(1)
- Pierce, Benjamin C.,(1)
-
- 資料類型
- 電子書(8)
-
- 主題
- COMPUTERS(7)
- Model Checking(4)
- Logiciels(3)
- Programmverifikation(3)
- Computer software(2)
- Formale Methode(2)
- Kongress(2)
- Machine Theory.(2)
- Méthode formelle.(2)
- Model-checking (Informatique)(2)
- More
-
10 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.
- 資料類型: 電子書
-
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.
- 資料類型: 電子書
-
60 0 0 0 0Integrated Formal Methods :4th International Conference, IFM 2004, Cnaterbury, UK, April 4-7, 2004. Proceedings
- 作者: Boiten, Eerke,
- 出版: Berlin ;Heidelberg : Springer-Verlag Berlin Heidelberg 2004.
- 資料類型: 電子書
-
10 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.
- 資料類型: 電子書
-
10 0 0 0 0
Applications and theory of Petri nets 2004 :25th international conference, ICATPN 2004, Bologna, Italy, June 21-25, 2004 : proceedings
- 作者: Cortadella, J.
- 出版: Berlin ;New York : Springer 2004.
- 資料類型: 電子書
-
9 0 0 0 0
Nokia network security :solutions handbook
- 作者: Maxwell, Doug,
- 出版: Rockland, MA : Syngress ©2002.
- 資料類型: 電子書
-
13 0 0 0 0
Types and programming languages
- 作者: Pierce, Benjamin C.,
- 出版: Cambridge, Mass. : MIT Press 2002.
- 資料類型: 電子書
-
8 0 0 0 0
Transport phenomena fundamentals[electronic resource]
- 作者: Plawsky, Joel L.,
- 出版: Boca Raton, FL : CRC Press c2019.
- 資料類型: 電子書