Formal engineering for industrial software development using the SOFL method

Bibliographic Details
Main Author: Liu, Shaoying 1960- (Author)
Format: Book
Language:English
Published: New York Springer c2004
Subjects:
Online Access:Table of contents only
Description
Physical Description:xxii, 408 p. ill. 25 cm
ISBN:3540206027 (hbk.)
9781841695884 (hbk.)