Library Services | Technical University of Kenya catalog

Normal view MARC view ISBD view

Cooke, John.

Constructing Correct Software [electronic resource] / by John Cooke. - Second Edition. - London : Springer London, 2005. - digital.

ISBN: 9781846280795

Standard No.: 10.1007/b138515 doi

Subjects--Topical Terms:
Computer science.
Software engineering.
Computer Science.
Software Engineering.
Mathematical Logic and Formal Languages.

LC Class. No.: QA76.758

Dewey Class. No.: 005.1

Print
Add to your cart (remove)
Save record
More searches