Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Constructing Correct Software

Constructing Correct Software

Book Informaton
Constructing Correct Software

Author

D. John Cooke

Year of Publication

2nd ed. 2005

Publisher

Springer London

Pages

XXI, 509

Language

en

ISBN

9781852338206, 9781846280795, 1852338202

ARI Id

1665000180101

Find on

World Cat

OpenLibrary

Internet Archive

This page has been accessed 6 times.
Access Options
Springer
Citation Options
Download Citation
Chapters/HeadingsAuthor(s)PagesInfo
Loading...
Chapters/HeadingsAuthor(s)PagesInfo
Topics
Development Formal methods (Computer science) Computer software Computer software development