本文に飛ぶ

年 〜
年

検索結果 2 件

Software safety and security : tools for analysis and verification : NATO Advanced Study Institute on tools for analysis and verification of software safety and security : Marktoberdorf PhD summer school : Aug 2011, Bayrischzell, Germany. (NATO Science for Peace and Security Series. Series D, Information and Communication Security ; 33)

Software safety and security : tools for analysis and verification : NATO Advanced Study Institute on tools for analysis and verification of software safety and security : Marktoberdorf PhD summer school : Aug 2011, Bayrischzell, Germany. (NATO Science for Peace and Security Series. Series D, Information and Communication Security ; 33)
紙図書
IOS Pressc2012.<M17-13-420>
国立国会図書館
  • 著者標目...rumberg, Orna. Hauptmann, Benedikt.

Software safety and security : tools for analysis and verification print

Software safety and security : tools for analysis and verification print
紙図書
edited by Tobias Nipkow, Orna Grumberg and Benedikt HauptmannIOS Pressc2012
全国の図書館

検索結果は以上です。

RSS