Validated Designs for Object-oriented Systems

• Main Author: Fitzgerald, John
• Other Authors: Larsen, Peter Gorm, Mukherjee, Paul, Plat, Nico, Verhoef, Marcel
• Format: Electronic Kit Book
• Language: English
• Published: London Springer-Verlag London Limited 2005
• Subjects: Software engineering; Computational complexity; Computer Science; Software Engineering/Programming and Operating Systems; Software Engineering; Discrete Mathematics in Computer Science