Petrenko, Alexandre.
概要
| 作品: | 2 作品在 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/
by:
Petrenko, Alexandre.; Ulrich, Andreas, (Dr. Ing.); NetLibrary, Inc.; FATES 2003 ((2003 :); IEEE International Automated Software Engineering Conference (2003 :)
(書目-語言資料,印刷品)
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/
by:
Petrenko, Alexandre.; Ulrich, Andreas, (Dr. Ing.); SpringerLink (Online service); FATES 2003 ((2003 :); IEEE International Automated Software Engineering Conference (2003 :)
(書目-語言資料,印刷品)
Testing software and systems = 22nd IFIP WG 6.1 international conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010 : proceedings /
by:
Maldonado, Jose Carlos.; Petrenko, Alexandre.; Simao, Adenilso.; SpringerLink (Online service)
(書目-語言資料,印刷品)
主題
Telecommunication systems- Testing
Mathematical Logic and Formal Languages.
Software Engineering.
Logics and Meanings of Programs.
M歋thodes formelles (Informatique)
Programming Techniques.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Computer software- Testing
Logiciels- Essais
Models and Principles.
Computer Science.