本文に飛ぶ

年 〜
年

検索結果 4 件

An introduction to the PL/CV2 programming logic / R.L. Constable, S.D. Johnson, C.D. Eichenlaub. (Lectures notes in computer science)

An introduction to the PL/CV2 programming logic / R.L. Constable, S.D. Johnson, C.D. Eichenlaub. (Lectures notes in computer science)
紙図書
Springer-Verlag1982.<M159-A40>
国立国会図書館
  • 件名プログラミング用言語. プログラミング (電子計算機) PL/CV (Computer program language) Computer programs -- Verifica...

A computer system for checking proofs

A computer system for checking proofs
紙図書
by Scott D. JohnsonUMI Research Pressc1982
全国の図書館
  • 件名Computer programs -- Verification PL/CV (Computer program language)
  • 件名（識別子）Computer programs -- Verification PL/CV (Computer program language)

An introduction to the PL/CV2 programming logic : gw : us

An introduction to the PL/CV2 programming logic : gw : us
紙図書
R.L. Constable, S.D. Johnson, C.D. EichenlaubSpringer-Verlag1982
全国の図書館
  • 件名PL/CV (Computer program language) Computer programs -- Verifica...
  • 件名（識別子）PL/CV (Computer program language) Computer programs -- Verifica...

A programming logic : with an introduction to the PL/CV verifier

A programming logic : with an introduction to the PL/CV verifier
紙図書
Robert L. Constable, Michael J. O'Donnell ; contributions by Scott D. JohnsonWinthrop Publishersc1978
全国の図書館
  • 件名PL/CV (Computer program language) Computer programs -- Testing ...
  • 件名（識別子）PL/CV (Computer program language) Computer programs -- Testing ...

検索結果は以上です。

RSS