Jump to main content

yr 〜
yr

Search results 11

Introduction to software testing : hard 2nd ed

Introduction to software testing : hard 2nd ed
Paper図書
Paul Ammann, Jeff OffuttCambridge University Press2017
Other Libraries in Japan
  • Author HeadingAmmann, Paul Offutt, Jeff

Model checkers in software testing [microform] / Paul E. Black, Paul Ammann, Wei Ding (NISTIR ; 6777)

Model checkers in software testing [microform] / Paul E. Black, Paul Ammann, Wei Ding (NISTIR ; 6777)
Microform図書
2002<YCA-C 13.58:6777>
National Diet Library
  • Author HeadingBlack, Paul E Ammann, Paul Ding, Wei, 1967 Sept. 14- Nat...

Introduction to software testing

Introduction to software testing
Paper図書
Paul Ammann, Jeff OffuttCambridge University Press2008
Other Libraries in Japan
  • Author HeadingAmmann, Paul Offutt, Jeff

Abstracting formal specifications to generate software tests via model checking [microform] / Paul E. Ammann, Paul E. Black (NISTIR ; 6405)

Abstracting formal specifications to generate software tests via model checking [microform] / Paul E. Ammann, Paul E. Black (NISTIR ; 6405)
Microform図書
1999<YCA-C 13.58:6405>
National Diet Library
  • Author HeadingAmmann, Paul E Black, Paul E National Inst...

A specification-based coverage metric to evaluate test sets [microform] / Paul E. Ammann, Paul E. Black (NISTIR ; 6403)

A specification-based coverage metric to evaluate test sets [microform] / Paul E. Ammann, Paul E. Black (NISTIR ; 6403)
Microform図書
1999<YCA-C 13.58:6403>
National Diet Library
  • Author HeadingAmmann, Paul E Black, Paul E National Inst...

Using model checking to generate tests from specifications [microform] / Paul E. Ammann, Paul E. Black, William Majurski (NISTIR ; 6166)

Using model checking to generate tests from specifications [microform] / Paul E. Ammann, Paul E. Black, William Majurski (NISTIR ; 6166)
Microform図書
1998<YCA-C 13.58:6166>
National Diet Library
  • Author HeadingAmmann, Paul E Black, Paul E Majurski, Wil...

Microsoft Exchange 2000 : programming collaborative Web applications

Microsoft Exchange 2000 : programming collaborative Web applications
Paper図書
Paul T. AmmannPrentice Hall PTRc2002
Other Libraries in Japan
  • Author HeadingAmmann, Paul T.

IP solutions for Windows 2000

IP solutions for Windows 2000
Paper図書
Paul T. AmmannPrentice Hall PTRc2001
Other Libraries in Japan
  • Author HeadingAmmann, Paul T.

Cisco router networking

Cisco router networking
Paper図書
Paul AmmannMcGraw-Hillc2000
Other Libraries in Japan
  • Author HeadingAmmann, Paul T.

Die Wahrheit über den Generalstreik von 1918 : seine Ursachen, sein Verlauf, seine Folgen

Die Wahrheit über den Generalstreik von 1918 : seine Ursachen, sein Verlauf, seine Folgen
Paper図書
Paul Schmid-AmmannMorgartenc1968
Other Libraries in Japan
  • Author HeadingSchmid-Ammann, Paul

Das Rätsel Deutschland

Das Rätsel Deutschland
Paper図書
Paul Schmid-AmmannEuropa-verlag1936
Other Libraries in Japan
  • Author HeadingSchmid-Ammann, Paul

Reached to the end of result.

RSS