A carregar...
Software engineering /
| Autor principal: | |
|---|---|
| Formato: | Printed Book |
| Idioma: | English |
| Publicado em: |
New Delhi :
Springer (India) pvt. ltd.,
2007.
|
Sumário:
- 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