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

Similar Items