Related Books

Compositionality, Concurrency, and Partial Correctness
Language: en
Pages: 284
Authors: Job Zwiers
Categories: Computers
Type: BOOK - Published: 1989-02-22 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The hierarchical decomposition of programs into smaller ones is generally considered imperative to master the complexity of large programs. The impact of this p
Compositionality, Concurrency and Partial Correctness: Proof Theories for Networks of Processes and Their
Language: en
Pages: 289
Compositionality, Concurrency and Partial Correctness
Language: en
Pages: 289
Authors: Jakob Zwiers
Categories: Automatic theorem proving
Type: BOOK - Published: 1988 - Publisher:

DOWNLOAD EBOOK

Compositionality, Concurrency and Parial Correctness
Language: en
Pages: 289
Authors: Job Zwiers
Categories:
Type: BOOK - Published: 1988 - Publisher:

DOWNLOAD EBOOK

The Software Life Cycle
Language: en
Pages: 427
Authors: Darrel Ince
Categories: Computers
Type: BOOK - Published: 2014-05-20 - Publisher: Butterworth-Heinemann

DOWNLOAD EBOOK

The Software Life Cycle deals with the software lifecycle, that is, what exactly happens when software is developed. Topics covered include aspects of software