Gå direkt till innehållet
Compositionality, Concurrency, and Partial Correctness
Spara

Compositionality, Concurrency, and Partial Correctness

Lägsta pris på PriceRunner
The hierarchical decomposition of programs into smaller ones is generally considered imperative to master the complexity of large programs.
Undertitel
Proof Theories for Networks of Processes, and Their Relationship
Författare
Job Zwiers
Upplaga
1989 ed.
ISBN
9783540508458
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
1989-02-22
Sidor
276