検索結果 39 件
紙図書
国立国会図書館
紙図書
国立国会図書館
- 件名...mverifikation. Model Checking. Abstrakte Interpretation. For...
紙図書
国立国会図書館
- 件名.... Kryptologie. Model Checking. Programmverifikation. Trusted...
紙図書
国立国会図書館
- 件名...sses. MoChArt. Model checking.
紙図書
国立国会図書館
- 件名... Programmtest. Model Checking. Serviceorientierte Architektu...
紙図書
国立国会図書館
紙図書
国立国会図書館
- 件名...tware. Testen. Model Checking. Haifa <2009> Kongress.
紙図書
国立国会図書館
- 件名...Systementwurf. Model Checking. Verifikation. Antwerpen <2010...
紙図書
国立国会図書館
- 件名...rmale Methode. Model Checking. Programmanalyse. Programmtest...
紙図書
国立国会図書館
- 件名...t (Informatik) Model Checking. Programmverifikation. Sicherh...