Internformat: Compositionality, concurrency, and partial correctness : proof theories for networks of processes and their relationship / J. Zwiers.

Summary goes here

Gespeichert in:

Bibliographische Detailangaben
Format:	Buch
Sprache:	Englisch
Schlagworte:	Parallel processing (Electronic computers) Automatic theorem proving. Automatic theorem proving Dekomposition Partiell korrektes Programm Nebenläufigkeit Programmverifikation Computer programs Parallélisme (informatique)
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

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)