年 〜
年

検索結果 6 件

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 Research Center

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 Research Center

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 Research Center

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, Natarajan Langley Research Center

Verified software : theories, tools, experiments : second international conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008 : proceedings

Verified software : theories, tools, experiments : second international conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008 : proceedings
紙図書
Natarajan Shankar, Jim Woodcock (eds.)Springerc2008
全国の図書館
  • 著者標目VSTTE Shankar, Natarajan Woodcock, Jim

Decision problems for propositional linear logic

Decision problems for propositional linear logic
紙図書
Patrick Lincoln [et al.]Center for the Study of Language and Information (CSLI)c1991
全国の図書館
  • 著者標目...Scedrov, André Shankar, Natarajan Stanford University. Center f...

検索結果は以上です。