Search: “Programmtest”

10 books found

Testing applications on the Web

Testing applications on the Web

Hung Quoc Nguyen

20012 ed.
Test und Verla sslichkeit von Rechnern

Test und Verla sslichkeit von Rechnern

Günther Kemnitz

20071 ed.
Static Analysis

Static Analysis

SAS <11, 2004, Verona>

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

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

Huibiao Zhu

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

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

Burkhart Wolff

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

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

Ana Cavalcanti

20101 ed.
Tests and proofs

Tests and proofs

TAP 2010 (2010 Málaga, Spain)

20101 ed.
Verified software

Verified software

VSTTE 2010 (2010 Edinburgh, Scotland)

20101 ed.
Testing Software and Systems

Testing Software and Systems

Alexandre Petrenko

20101 ed.
Testing of software and communication systems

Testing of software and communication systems

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

20091 ed.