Ажилтнуудыг харах: 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)
Шошгууд:	Шошго нэмэх Шошго байхгүй, Энэхүү баримтыг шошголох эхний хүн болох!

era
format	Book
genre
geographic
id	d1db67c2-e8dc-409b-9d49-89a8789936eb
isbn	0387508457 9780387508450 3540508457 9783540508458
issn
language	eng
physical	vi, 272 pages :illustrations ;25 cm
publication	– publisher: SpringerVerlag dateOfPublication: ©1989
publishDate	©1989
subjects
title	Compositionality, concurrency, and partial correctness : proof theories for networks of processes and their relationship / J. Zwiers.
topic	Parallel processing (Electronic computers) Automatic theorem proving. Automatic theorem proving Parallel processing (Electronic computers) Dekomposition Partiell korrektes Programm Nebenläufigkeit Programmverifikation Computer programs Computer programs Parallélisme (informatique)