ヘルプ
ヘルプ

検索結果 2 件

Theory of program structures : schemes, semantics, verification / Sheila A. Greibach. (Lecture notes in computer science ; 36)

Theory of program structures : schemes, semantics, verification / Sheila A. Greibach. (Lecture notes in computer science ; 36)
紙図書
Springer-Verlag1975.<M159-58>
国立国会図書館
  • 件名Computer programming. Recursive programming. Computer programs.

Theory of program structures : schemes, semantics, verification : gw : us

Theory of program structures : schemes, semantics, verification : gw : us
紙図書
Sheila A. GreibachSpringer-Verlag1975
全国の図書館
  • 件名Electronic digital computers -- Programming Recursive programming Computer programs
  • 件名（識別子）Electronic digital computers -- Programming Recursive programming Computer programs

検索結果は以上です。