Formal engineering for industrial software development : using the SOFL method /

Bibliographic Details
Main Author:	Liu, Shaoying, 1960-
Format:	Book
Language:	English
Published:	Berlin ; New York : Springer, 2004.
Subjects:	Computer software > Development. Object-oriented programming (Computer science) Formal methods (Computer science)

by Liu, Shaoying
Published 2004

Connect to the full text of this electronic book

eBook