SYSTEM DESIGN FROM PROVABLY CORRECT CONSTRUCTS

THE BEGINNINGS OF TRUE SOFTWARE ENGINEERING ...presents not merely a design technique but an important way of thinking about systems which ought to be understood by all DP staff members.

  • 2 Want to read
Locate

My Reading Lists:

Create a new list

  • 2 Want to read

Buy this book

Last edited by raybb
July 3, 2025 | History

SYSTEM DESIGN FROM PROVABLY CORRECT CONSTRUCTS

THE BEGINNINGS OF TRUE SOFTWARE ENGINEERING ...presents not merely a design technique but an important way of thinking about systems which ought to be understood by all DP staff members.

  • 2 Want to read

This edition doesn't have a description yet. Can you add one?

Publish Date
Language
English
Pages
392

Buy this book

Previews available in: English

Book Details


Edition Notes

Source title: SYSTEM DESIGN FROM PROVABLY CORRECT CONSTRUCTS: THE BEGINNINGS OF TRUE SOFTWARE ENGINEERING ...presents not merely a design technique but an important way of thinking about systems which ought to be understood by all DP staff members.

The Physical Object

Format
hardcover
Number of pages
392

Edition Identifiers

Open Library
OL59468115M
Amazon ID (ASIN)
B000JODG1M

Work Identifiers

Work ID
OL2354701W

Source records

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Download catalog record: RDF / JSON / OPDS | Wikipedia citation