‘Programmtest’ 검색 결과

10건

Testing applications on the Web

Hung Quoc Nguyen, 2001 / 판 2개

Static Analysis

SAS <11, 2004, Verona>, 2004

Test und Verla sslichkeit von Rechnern

Günther Kemnitz, 2007

Verified software

VSTTE 2010 (2010 Edinburgh, Scotland), 2010

Tests and proofs

TAP 2010 (2010 Málaga, Spain), 2010

Formal Methods And Software Engineering 11th International Conference On Formal Engineering Methods Icfem 2009 Rio De Janeiro Brazil December 912 2009 Proceedings

Ana Cavalcanti, 2010

Testing of software and communication systems

IFIP TC6/WG6.1 International Conference on Testing of Communicating Systems (21st 2009 Eindhoven, The Netherlands), 2009

Testing Software and Systems

Alexandre Petrenko, 2010

Formal Methods And Software Engineering 12th International Conference On Formal Engineering Methods Icfem 2010 Shanghai China November 1719 2010 Proceedings

Huibiao Zhu, 2010

Testing Software And Systems 23rd Ifip Wg 61 International Conference Ictss 2011 Paris France November 710 2011 Proceedings

Burkhart Wolff, 2011

찾는 책이 없나요?

제목이나 표지 사진만 주셔도 찾아 드립니다. 여러 권이면 기업 기관 구매에서 목록째 넣으실 수 있습니다.

찾아 달라고 하기목록 넣기