年 〜
年

検索結果 5 件

Testing of software and communicating systems : 19th IFIP TC6/WG6.1 international conference, TestCom 2007 : 7th international workshop, FATES 2007 : Tallinn, Estonia, June 26-29, 2007 : proceedings. : 7th international workshop on formal approaches to testing of software : joint conference of TESTCOM and FATES : Jun 2007, Tallinn, Estonia. (Lecture Notes in Computer Science ; 4581)

Testing of software and communicating systems : 19th IFIP TC6/WG6.1 international conference, TestCom 2007 : 7th international workshop, FATES 2007 : Tallinn, Estonia, June 26-29, 2007 : proceedings. : 7th international workshop on formal approaches to testing of software : joint conference of TESTCOM and FATES : Jun 2007, Tallinn, Estonia. (Lecture Notes in Computer Science ; 4581)
紙図書
Springerc2007.<M17-07-1758>
国立国会図書館
  • 著者標目Petrenko, Alexandre. IFIP TC6/WG6.1 International...

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. : Oct 2003, Montreal, Canada. (Lecture Notes in Computer Science ; 2931)

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. : Oct 2003, Montreal, Canada. (Lecture Notes in Computer Science ; 2931)
紙図書
Springer-Verlagc2004.<M17-04-2449>
国立国会図書館
  • 著者標目Petrenko, Alexandre. Ulrich, Andreas, Dr. Ing. FA...

Testing of software and communicating systems : 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007 : proceedings

Testing of software and communicating systems : 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007 : proceedings
紙図書
Alexandre Petrenko ... [et al.] (eds.)Springerc2007
全国の図書館
  • 著者標目...ng of Software Petrenko, Alexandre

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

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
紙図書
Alexandre Petrenko, Andreas Ulrich (eds.)Springerc2004
全国の図書館
  • 著者標目...ng of Software Petrenko, Alexandre Ulrich, Andreas

Testing of communicating systems : proceedings of the IFIP TC6 11th International Workshop on Testing of Communicating Systems (IWTCS'98), August 31-September 2, 1998, Tomsk, Russia

Testing of communicating systems : proceedings of the IFIP TC6 11th International Workshop on Testing of Communicating Systems (IWTCS'98), August 31-September 2, 1998, Tomsk, Russia
紙図書
edited by Alexandre Petrenko, Nina YevtushenkoKluwerc1998
全国の図書館
  • 著者標目...l Test Systems Petrenko, Alexandre Yevtushenko, Nina

検索結果は以上です。