Updates

Latest Tweet



What's New?

Check out for latest innovation, a computer based training video collection


Like this Page

Constructing Correct Software


Add Book to List

Please select a book list

Add
Home / Book / Constructing Correct Software


Previews

Amazon Readr

Share this Great Computer eBook

Link to this page

Our Collection

PrevNext


Formal Methods Truth Center is called the theorem relating to implementation of the correct specification. Building a true Software will provide invaluable reading for students and practitioners of Computer Science and Software Engineering to whom truth is the most important software.

Computer eBook Details

  • ISBN-10: 1852338202
  • ISBN-13: 9781852338206
  • Publisher: Springer
  • Pages: 509
  • Date: October 2004

IT Book Reviews

Computer Ebook Author

IT Book Categories

Book Subject

software engineering software testing computer science computer software science information technology management software engineer software development process formal methods formal specification wang institute of graduate studies

Buy this Book

Borrow or Download eBook

Grab