Catalog

Record Details

Catalog Search


Search Results Showing Item 7 of 151

Electronic resources

Record details

  • ISBN: 9783540305972
  • Physical Description: electronic
    electronic resource
    access
    remote
    VII, 295 p. Also available online. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
Subject: Computer science
Software engineering
Logic design
Database management
Computer Science
Database Management
Logics and Meanings of Programs
Software Engineering
Mathematical Logic and Formal Languages
Search Results Showing Item 7 of 151

Additional Resources