ヘルプ
ヘルプ

検索結果 7 件

Constructing correct software ; alk. paper 2nd ed

Constructing correct software ; alk. paper 2nd ed
紙図書
John CookeSpringer2005
全国の図書館
  • 件名Computer software -- Development Formal methods...
  • 件名（識別子）Computer software -- Development Formal methods...

Building experiments in PsychoPy

Building experiments in PsychoPy
紙図書
Jonathan Peirce & Michael MacAskill.SAGE2018.<SB24-S6>
国立国会図書館
  • 要約等...-source (free) software package for cr......has become the software package of choice in psycholo...
  • 内容細目...of open-source software 1.4.Understand......g inverted and correctly oriented fac......ion 13.5.Gamma correction 13.6.Color calibration 13....

Constructing correct software : the basics pbk. : alk. paper

Constructing correct software : the basics pbk. : alk. paper
紙図書
John CookeSpringerc1998
全国の図書館
  • 件名Computer software -- Development
  • 件名（識別子）Computer software -- Development

Synthesis of embedded software : frameworks and methodologies for correctness by construction

Synthesis of embedded software : frameworks and methodologies for correctness by construction
紙図書
Sandeep K. Shukla, Jean-Pierre Talpin, editorsSpringerc2010
全国の図書館

KORSO : methods, languages, and tools for the construction of correct software : final report / Manfred Broy, Stefan Jähnichen, eds. (Lecture notes in computer science ; 1009)

KORSO : methods, languages, and tools for the construction of correct software : final report / Manfred Broy, Stefan Jähnichen, eds. (Lecture notes in computer science ; 1009)
紙図書
Springerc1995.<M159-A175>
国立国会図書館
  • 目次・記事Table of Contents Correct Software: From Experime......I:　Methods for Correctness/ 25 A Meth......Development of Correct Software/ 27 P. Pepper|......ign of Modular Software Systems with R......Development of Software/ 239 F. von He......s/ 268 Towards Correct, Efficient and......rv-Approach to Software Verification/ ......Case Study for Software Engineering with Formal Metho...
  • 件名プログラミング (電子計算機) Computer software -- Development.

KORSO : methods, languages, and tools for the construction of correct software : final report

KORSO : methods, languages, and tools for the construction of correct software : final report
紙図書
Manfred Broy, Stefan Jähnichen (eds.)Springerc1995
全国の図書館
  • 件名Computer software -- Development
  • 件名（識別子）Computer software -- Development

System design from probably correct constructs : the beginnings of true software engineering

System design from probably correct constructs : the beginnings of true software engineering
紙図書
James MartinPrentice-Hallc1985
全国の図書館
  • 件名System design Software engineering
  • 件名（識別子）System design Software engineering

検索結果は以上です。