Jump to main content

yr 〜
yr

Search results 4

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
  • Author HeadingBerg, H. K. (Helmut K.)

Software, hardware, decision support systems, office systems and technology, speical topics

Software, hardware, decision support systems, office systems and technology, speical topics
Paper図書
edited by Helmut K. Berg ... [et al.]Western Periodicalsc1983
Other Libraries in Japan
  • Author HeadingBerg, H. K. (Helmut K.)

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
  • Author HeadingBerg, H. K. (Helmut K.)

The Use of formal specification of software : June 25-27, 1979, Berlin : gw : us

The Use of formal specification of software : June 25-27, 1979, Berlin : gw : us
Paper図書
edited by H.K. Berg and W.K. GiloiSpringer-Verlag1980
Other Libraries in Japan
  • Author HeadingBerg, H. K. (Helmut K.) Giloi, Wolfgang

Reached to the end of result.

RSS