Loading...
Software engineering /
| Main Author: | |
|---|---|
| Format: | Printed Book |
| Language: | English |
| Published: |
New Delhi :
Springer (India) pvt. ltd.,
2007.
|
Table of Contents:
- 1. Opening 2 Discrete mathematics 3 Sets 4 Cartesians 5 Types 6 Functions 7 A - Calculus 8 Algebras 9 Mathematical Logic 10 Simple RSL 11 Atomic types and values in RSL 12 Function definitions in RSL 13 Property-oriented and