Gå direkte til innholdet
Compositionality, Concurrency, and Partial Correctness
Spar

Compositionality, Concurrency, and Partial Correctness

The hierarchical decomposition of programs into smaller ones is generally considered imperative to master the complexity of large programs.
Undertittel
Proof Theories for Networks of Processes, and Their Relationship
Forfatter
Job Zwiers
Opplag
1989 ed.
ISBN
9783540508458
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
22.2.1989
Antall sider
276