その他の書誌記述: Verification, model checking, and abstract interpretation : 7th international conference, VMCAI 2006, Charleston, SC, USA, january 8-10, 2006 : proceedings / [edited by] E. Allen Emerson, Kedar S. Namjoshi.

Summary goes here

保存先:

書誌詳細
フォーマット:	図書
言語:	英語
主題:	Computer programs Logiciels COMPUTERS Informatique. Abstrakte Interpretation Formale Methode Model Checking Programmanalyse Programmverifikation Congress Conference papers and proceedings. Actes de congrès. Charleston (SC, 2006) Kongress.
タグ:	タグ追加タグなし, このレコードへの初めてのタグを付けませんか!

その他の書誌記述
要約:	Summary goes here
記述事項:	General Notes
物理的記述:	1 online resource (xi, 442 pages) :illustrations
ISBN:	9783540316220 3540316221 3540311394 9783540311393