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:
Software engineering.
Computer programming.
Online Access:http://www.loc.gov/catdir/enhancements/fy0663/2005936100-d.html
Description
Physical Description:v. <1-3> : ill. ;
Bibliography:Includes bibliographical references and indexes.
ISBN:3540211497 (v. 1)
3540211500 (v. 2)
3540211519 (v. 3)

Similar Items