Constructing correct software / John Cooke.

Constructing correct software / John Cooke.

Saved in:
Bibliographic Details
Main Author: Cooke, John, 1947-
Format: Book
Language:English
Published: London : Springer, 2005.
Edition:2nd ed.
Subjects:
Software engineering
Computer software > Development
Formal methods (Computer science)
Computer programs > Correctness
Tags: Add Tag
No Tags, Be the first to tag this record!
Login for hold information

Pilkington Library - Pilkington Main Collection

Shelfmark: 005.1/COO
Copy [0403367697] Available
Copy [040296277X] Available
Copy [040296280X] Available
Copy [0402962788] Available
Copy [0402962796] Available

Similar Items