Prikaz za djelatnike knjižnice: Compositionality, concurrency, and partial correctness : proof theories for networks of processes and their relationship / J. Zwiers.

Summary goes here

Spremljeno u:

Bibliografski detalji
Format:	Knjiga
Jezik:	engleski
Teme:	Parallel processing (Electronic computers) Automatic theorem proving. Automatic theorem proving Dekomposition Partiell korrektes Programm Nebenläufigkeit Programmverifikation Computer programs Parallélisme (informatique)
Oznake:	Dodaj oznaku Bez oznaka, Budi prvi tko označuje ovaj zapis!

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)