Jump to main content

yr 〜
yr

Search results 8

Requirements engineering for software and systems : pbk 4th ed

Requirements engineering for software and systems : pbk 4th ed
Paper図書
Phillip A. Laplante, Mohamad H. KassabCRC Press2022
Other Libraries in Japan
  • Subject HeadingComputer programs -- Specifications Computer software -- Developm...
  • Subject Heading (ID)Computer programs -- Specifications Computer software -- Developm...

Program specification : proceedings of a workshop, Aarhus, Denmark, August 1981 / edited by J. Staunstrup. (Lecture notes in computer science)

Program specification : proceedings of a workshop, Aarhus, Denmark, August 1981 / edited by J. Staunstrup. (Lecture notes in computer science)
Paper図書
Springer-Verlag1982.<M15-A1495>
National Diet Library
  • Subject HeadingComputer programs -- Specifications -- Congresses.

Formal methods of program verification and specification / H.K. Berg ... [et al.]. (Prentice-Hall software series)

Formal methods of program verification and specification / H.K. Berg ... [et al.]. (Prentice-Hall software series)
Paper図書
Prentice-Hallc1982.<M159-A31>
National Diet Library
  • Subject Headingプログラミング (電子計算機) Computer programs -- Verification. Computer programs -- Specifications.

Specification case studies

Specification case studies
Paper図書
edited by Ian Hayes ; with contributions by Bill Flinn ... [et al.]Prentice-Hall Internationalc1987
Other Libraries in Japan
  • Subject HeadingComputer programs -- Specifications
  • Subject Heading (ID)Computer programs -- Specifications

Specification case studies 2nd ed

Specification case studies 2nd ed
Paper図書
edited by Ian Hayes ; with contributions by Bill Flinn ... [et al.]Prentice Hall International1993
Other Libraries in Japan
  • Subject HeadingComputer programs -- Specifications -- Case studies
  • Subject Heading (ID)Computer programs -- Specifications -- Case studies

Formal methods of program verification and specification

Formal methods of program verification and specification
Paper図書
H.K. Berg ... [et al.]Prentice-Hallc1982
Other Libraries in Japan
  • Subject HeadingComputer programs -- Verification Computer programs -- Specifications
  • Subject Heading (ID)Computer programs -- Verification Computer programs -- Specifications

Specification and verification techniques for parallel programs based on message parsing semantics

Specification and verification techniques for parallel programs based on message parsing semantics
Paper図書
by Akinori YonezawaLaboratory for Computer Science, Massachusetts Institute of Technology1977
Other Libraries in Japan
  • Subject HeadingComputer programs -- Evaluation Computer programs -- Specifications
  • Subject Heading (ID)Computer programs -- Evaluation Computer programs -- Specifications

Program specification : proceedings of a workshop, Aarhus, Denmark, August 1981 : gw : us

Program specification : proceedings of a workshop, Aarhus, Denmark, August 1981 : gw : us
Paper図書
edited by J. StaunstrupSpringer-Verlag1982
Other Libraries in Japan
  • Subject HeadingComputer programs -- Specifications -- Congresses
  • Subject Heading (ID)Computer programs -- Specifications -- Congresses

Reached to the end of result.

RSS