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

by Dines Bjørner (Author)

• New

  Hardcover
  2006

  $120.77

  Finally, the book presents techniques for interpreter and compiler development of functional, imperative, modular and parallel programming languages.This book is targeted at late undergraduate to early graduate university students, and researchers of programming methodologies.

• New

  Hardcover
  2006

  $160.25

  The final installment in this three-volume set is based on this maxim: Before software can be designed its requirements must be well understood, and before the requirements can be expressed properly the domain of the application must be well understood.