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

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

57

Bibliographic Details
Main Author: 263222 Liu, Shaoying
Format:
Language:eng
Published: Berlin : Springer-Verlag, 2004
Subjects:
Computer software
Object-oriented programming (Computer science)
Formal methods (Computer science)

Similar Items