Catalog

Record Details

Catalog Search


Software Engineering 2 Specification of Systems and Languages Cover Image E-book E-book

Software Engineering 2 [electronic resource] : Specification of Systems and Languages / by Dines Bjørner.

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

Record details

  • ISBN: 9783540331933
  • Physical Description: XXIV, 777 p. 151 illus. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Search for related items by subject

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

Search for related items by series

Electronic resources

Texto completo


Additional Resources