Catalog

Record Details

Catalog Search


Search Results Showing Item 116 of 907

Software Engineering 1 Abstraction and Modelling

Bjørner, Dines. (author.). SpringerLink (Online service) (Added Author).

Electronic resources

Record details

  • ISBN: 9783540312888
  • Physical Description: electronic
    electronic resource
    access
    remote
    XXXX, 714 p. 38 illus. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
Subject: Computer science
Software engineering
Logic design
Computer Science
Software Engineering
Programming Techniques
Programming Languages, Compilers, Interpreters
Logics and Meanings of Programs
Search Results Showing Item 116 of 907

Additional Resources