Catalog

Record Details

Catalog Search



Specification of Software Systems [electronic resource] / by V.S. Alagar, K. Periyasamy.

Alagar, V.S. (Author). Periyasamy, K. (Added Author). SpringerLink (Online service) (Added Author).

Electronic resources

Record details

  • ISBN: 9780857292773
  • Physical Description: XXV, 644p. digital.
  • Edition: 2nd Edition.
  • Publisher: London : Springer London, 2011.
Subject: Computer science.
Software engineering.
Logic design.
Computer Science.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.

Additional Resources