Summary goes here

書誌詳細

フォーマット:	図書
言語:	英語
主題:	Parallel processing (Electronic computers) Automatic theorem proving. Automatic theorem proving Dekomposition Partiell korrektes Programm Nebenläufigkeit Programmverifikation Computer programs Parallélisme (informatique)
タグ:	タグ追加 タグなし, このレコードへの初めてのタグを付けませんか!