Index
 
Operating Systems
Java
Programming Languages
Hardware
Microsoft Technologies
Computer Science
Formal Methods
MM & Game Dev.
Theory Computing
Compilers
Database
Hardware
DS & Algorithms
OS
Network
Database
Network
Software Engineering
XML and XSL
Internet
Web Programming
Web Technologies
Physics
Bio-Chemistry
Mathematics
Medical
Redbooks
Unlisted/Miscellaneous

Contact Us

What's New | Tell a Friend | Missing Link | Feedback

Formal Methods



Red hot offer

Formal Specification and Documentation using Z: A Case Study Approach
no description available
nitro.biosci.arizona.edu



The Z Notation: A Reference Manual, Second Edition
This manual provides a detailed guide to the use of the Z no...
spivey.oriel.ox.ac.uk




©2008 FreeBookZone.com - Home - Privacy Policy - Program Policy, Terms and Conditions