Updates

Latest Tweet



What's New?

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


Like this Page

Formal Software Development


Add Book to List

Please select a book list

Add
Home / Book / Formal Software Development


Previews

Readr

Share this Great Computer eBook

Link to this page

Our Collection

PrevNext


This does not assume prior knowledge of formal methods, and presents practical and comprehensive treatment of the subject suitable for undergraduate second and third years on computer courses, and students on taught master's program.

Computer eBook Details

  • ISBN-10: 0333992814
  • ISBN-13: 9780333992814
  • Publisher: Palgrave Macmillan
  • Pages: 256
  • Date: September 2003

IT Book Reviews

Computer Ebook Author

IT Book Categories

Book Subject

software engineering computing computer science sun microsystems java (programming language) software development process formal methods formal sciences vienna development method

Buy this Book

Borrow or Download eBook

Grab



Crowd@Twitter

Chanelvsl

February 12, 2012, 7:49 pm

Categories for Software Engineering: Demonstrates how category theory can be used for formal software developmen... http://t.co/CHK4liox

Chaehjv

February 11, 2012, 8:04 pm

Categories for Software Engineering: Demonstrates how category theory can be used for formal software developmen... http://t.co/LcSTRAi1

Terrilynveu

February 8, 2012, 6:05 am

Categories for Software Engineering: Demonstrates how category theory can be used for formal software developmen... http://t.co/uXpVJLhM