Catalog

Record Details

Catalog Search

[ 2 filters applied ]

◄ Search Results Showing Item 6 of 7
◄ Previous Next ►

Electronic resources

Texto Completo

Record details

  • ISBN: 9780857292773
  • Physical Description: electronic
    electronic resource
    access
    remote
    XXV, 644p. digital.
  • Edition: 2nd Edition.
  • Publisher: London : Springer London, 2011.

Search for related items by subject

Subject: Computer science
Software engineering
Logic design
Computer Science
Software Engineering
Programming Languages, Compilers, Interpreters
Logics and Meanings of Programs

Search for related items by series

◄ Search Results Showing Item 6 of 7
◄ Previous Next ►

Additional Resources