Loading...

Software Engineering 2 : specification of systems and languages /

Bibliographic Details
Main Author: Bjørner, Dines
Format: Printed Book
Published: Berlin ; Springer, 2006-
Series:Texts in theoretical computer science
Subjects:
Online Access:http://www.loc.gov/catdir/enhancements/fy0663/2005936100-d.html
Table of Contents:
  • 1. Abstraction and modelling
  • 2. Specification of systems and languages
  • 3. Domains, requirements, and software design.