本文に飛ぶ

年 〜
年

検索結果 14 件

LCTES'13 : proceedings of the 2013 ACM SIGPLAN/SIGBED conference on languages, compilers and tools for embedded systems : June 20-21, 2013 : Seattle, Washington, USA.

LCTES'13 : proceedings of the 2013 ACM SIGPLAN/SIGBED conference on languages, compilers and tools for embedded systems : June 20-21, 2013 : Seattle, Washington, USA.
紙図書
Association for Computing Machineryc2013.<M17-14-2166>
国立国会図書館全国の図書館

2009 first international conference on advances in system testing and validation lifecycle : (VALID 2009) : Porto, Portugal : 20-25 September 2009.

2009 first international conference on advances in system testing and validation lifecycle : (VALID 2009) : Porto, Portugal : 20-25 September 2009.
紙図書
IEEEc2009.<M17-10-2060>
国立国会図書館
  • 件名Computer programs -- Validation -- Congresses. Computer programs -- Testing -- Congresses.

Computer program testing : proceedings of the Summer School on Computer Program Testing held at SOGESTA, Urbino, Italy, June 29-July 3, 1981 / edited by B. Chandrasekaran, S. Radicchi.

Computer program testing : proceedings of the Summer School on Computer Program Testing held at SOGESTA, Urbino, Italy, June 29-July 3, 1981 / edited by B. Chandrasekaran, S. Radicchi.
紙図書
North-Holland Pub. Co.c1981.<M15-A4892>
国立国会図書館
  • 件名Computer programs -- Testing -- Congresses.

Mutation testing for the new century

Mutation testing for the new century
紙図書
edited by W. Eric WongSpringer Science+Business Media2001
全国の図書館
  • 件名Mutation testing of computer programs -- Congresses Computer programs -- Testing -- Congresses

Mutation testing for the new century

Mutation testing for the new century
紙図書
edited by W. Eric WongKluwer Academic Publishersc2001
全国の図書館
  • 件名Mutation testing of computer programs -- Congresses Computer programs -- Testing -- Congresses

Pressure vessels and piping computer program evaluation and qualification : presented at the Energy Technology Conference, Houston, Texas, September 18-23, 1977 / sponsored by the Computer Technology Committee, the Pressure Vessels and Piping Division, ASME ; edited by D. E. Dietrich.

Pressure vessels and piping computer program evaluation and qualification : presented at the Energy Technology Conference, Houston, Texas, September 18-23, 1977 / sponsored by the Computer Technology Committee, the Pressure Vessels and Piping Division, ASME ; edited by D. E. Dietrich.
紙図書
American Society of Mechanical Engineersc1977.<NB111-37>
国立国会図書館
  • 件名...-- Congresses. Computer programs -- Testing -- Congresses.

Record.

Record.
紙図書
Institute of Electrical and Electronics Engineers.1973.<M154-41>
国立国会図書館
  • 件名...-- Congresses. Computer programs -- Testing -- Congresses. Debugging in computer scienc...

Pressure vessels and piping : verification and qualification of inelastic analysis computer programs : presented at the Second National Congress on Pressure Vessels and Piping, San Francisco, California, June 23-27, 1975 / sponsored by the Computer Technology Committee, the Pressure Vessels and Piping Division ; edited by J. M. Corum, W. B. Wright.

Pressure vessels and piping : verification and qualification of inelastic analysis computer programs : presented at the Second National Congress on Pressure Vessels and Piping, San Francisco, California, June 23-27, 1975 / sponsored by the Computer Technology Committee, the Pressure Vessels and Piping Division ; edited by J. M. Corum, W. B. Wright.
紙図書
American Society of Mechanical Engineers[1975]<NB111-16>
国立国会図書館
  • 件名...-- Congresses. Computer programs -- Testing -- Congresses. Computer programs -- Verific...

Computer program testing : proceedings of the Summer School on Computer Program Testing held at SOGESTA, Urbino, Italy, June 29-July 3, 1981

Computer program testing : proceedings of the Summer School on Computer Program Testing held at SOGESTA, Urbino, Italy, June 29-July 3, 1981
紙図書
edited by B. Chandrasekaran, S. RadicchiNorth-Holland Pub. Co.c1981
全国の図書館
  • 件名Computer programs -- Testing -- Congresses

Workshop on Currently Available Program Testing Tools : technology and experience, 24-25 April, 1975

Workshop on Currently Available Program Testing Tools : technology and experience, 24-25 April, 1975
紙図書
Sponsored by U.S. National Bureau of Standards, Association of Computing Machinery, IEEE Computer Society (Technical Committee on Software Engineering)[s.n.][1975]
全国の図書館
  • 件名Computer programs -- Testing -- Congresses

Pressure vessels and piping computer program evaluation and qualification : presented at the Energy Technology Conference, Houston, Texas, September 18-23, 1977 (PVP-PB ; 024) (PVP ; 024)

Pressure vessels and piping computer program evaluation and qualification : presented at the Energy Technology Conference, Houston, Texas, September 18-23, 1977 (PVP-PB ; 024) (PVP ; 024)
紙図書
sponsored by the Computer Technology Committee, the Pressure Vessels and Piping Division, ASME, edited by D. E. Dietrich1977
全国の図書館
  • 件名... -- Congresses Computer programs -- Testing -- Congresses

Pressure vessels and piping computer program evaluation and qualification : presented at the Energy Technology Conference, Houston, Texas, September 18-23, 1977

Pressure vessels and piping computer program evaluation and qualification : presented at the Energy Technology Conference, Houston, Texas, September 18-23, 1977
紙図書
sponsored by the Computer Technology Committee, the Pressure Vessels and Piping Division, ASME ; edited by D. E. DietrichAmerican Society of Mechanical Engineersc1977
全国の図書館
  • 件名... -- Congresses Computer programs -- Testing -- Congresses

Pressure vessels and piping : verification and qualification of inelastic analysis computer programs : presented at the Second National Congress on Pressure Vessels and Piping, San Francisco, California, June 23-27, 1975

Pressure vessels and piping : verification and qualification of inelastic analysis computer programs : presented at the Second National Congress on Pressure Vessels and Piping, San Francisco, California, June 23-27, 1975
紙図書
sponsored by the Computer Technology Committee, the Pressure Vessels and Piping Division, edited by J. M. Corum, W. B. Wright1975
全国の図書館
  • 件名... -- Congresses Computer programs -- Testing -- Congresses Computer programs -- Verifica...

Pressure vessels and piping : verification and qualification of inelastic analysis computer programs : presented at the Second National Congress on Pressure Vessels and Piping, San Francisco, California, June 23-27, 1975

Pressure vessels and piping : verification and qualification of inelastic analysis computer programs : presented at the Second National Congress on Pressure Vessels and Piping, San Francisco, California, June 23-27, 1975
紙図書
sponsored by the Computer Technology Committee, the Pressure Vessels and Piping Division ; edited by J. M. Corum, W. B. WrightAmerican Society of Mechanical Engineers[1975]
全国の図書館
  • 件名... -- Congresses Computer programs -- Testing -- Congresses Computer programs -- Verifica...

検索結果は以上です。

RSS