その他の書誌記述: Compositionality, concurrency, and partial correctness : proof theories for networks of processes and their relationship / J. Zwiers.

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)
タグ:	タグ追加タグなし, このレコードへの初めてのタグを付けませんか!