本文に飛ぶ

年 〜
年

検索結果 4 件

Theory interpretations in PVS [microform] / Sam Owre and Natarajan Shankar ([NASA contractor report] ; NASA/CR-2001-211024)

Theory interpretations in PVS [microform] / Sam Owre and Natarajan Shankar ([NASA contractor report] ; NASA/CR-2001-211024)
マイクロ図書
2001<YCA-NAS 1.26:211024>
国立国会図書館
  • 著者標目Owre, Sam Shankar, Natarajan Langley Re...

The formal semantics of PVS [microform] / Sam Owre and Natarajan Shankar ([NASA contractor report] ; NASA/CR-1999-209321)

The formal semantics of PVS [microform] / Sam Owre and Natarajan Shankar ([NASA contractor report] ; NASA/CR-1999-209321)
マイクロ図書
1999<YCA-NAS 1.26:209321>
国立国会図書館
  • 著者標目Owre, Sam Shankar, Natarajan Langley Re...

Abstract datatypes in PVS [microform] / Sam Owre and Natarajan Shankar ([NASA contractor report] ; NASA/CR-97-206264)

Abstract datatypes in PVS [microform] / Sam Owre and Natarajan Shankar ([NASA contractor report] ; NASA/CR-97-206264)
マイクロ図書
1997<YCA-NAS 1.26:206264>
国立国会図書館
  • 著者標目Owre, Sam Shankar, Natarajan Langley Re...

Analyzing tabular and state-transition requirements specifications in PVS [microform] / Sam Owre, John Rushby, and Natarajan Shankar (NASA contractor report ; 201729)

Analyzing tabular and state-transition requirements specifications in PVS [microform] / Sam Owre, John Rushby, and Natarajan Shankar (NASA contractor report ; 201729)
マイクロ図書
1997<YCA-NAS 1.26:201729>
国立国会図書館
  • 著者標目Owre, Sam Rushby, John Shankar, Nataraj...

検索結果は以上です。

RSS