ItemOracle

Software Engineering 2: Specification of Systems and Languages (Texts in Theoretical Computer Science. An EATCS Series)

Dines Bjrner ★ 3.2/5 · ItemOracle Score Mid-Range

$55 USD
Price subject to change
Check current price on Amazon →
Software Engineering 2: Specification of Systems and Languages (Texts in Theoretical Computer Science. An EATCS Series)

A theoretical computer science text on specifying systems and languages. Focuses on formal methods and specification techniques. Customer insight highlights interest in rigorous theoretical content

Highlights

  • focus on specification of systems
  • text in theoretical computer science series
  • authoritative theoretical framework

Pros

  • theoretical rigor
  • clear focus on specification of systems
  • authoritative reference in the series

Cons

  • n/a
  • no customer-reported limitations available

Best For

  • graduate coursework study
  • research reference for system specification
  • academic library programming language theory
  • theoretical computer science exam prep
  • curriculum development for formal methods
  • self-study on specification techniques

Tags

Similar Products