Henkilökuntanäyttö: Compositionality, concurrency, and partial correctness : proof theories for networks of processes and their relationship / J. Zwiers.

Summary goes here

Tallennettuna:

Bibliografiset tiedot
Aineistotyyppi:	Kirja
Kieli:	englanti
Aiheet:	Parallel processing (Electronic computers) Automatic theorem proving. Automatic theorem proving Dekomposition Partiell korrektes Programm Nebenläufigkeit Programmverifikation Computer programs Parallélisme (informatique)
Tagit:	Lisää tagi Ei tageja, Lisää ensimmäinen tagi!

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)