Catalog

Record Details

Catalog Search


Search Results Showing Item 1 of 92

Validated Designs for Object-oriented Systems

Fitzgerald, John. (author.). Larsen, Peter Gorm. (author.). Mukherjee, Paul. (author.). Plat, Nico. (author.). Verhoef, Marcel. (author.). SpringerLink (Online service) (Added Author).

Electronic resources

Record details

  • ISBN: 9781846281075
  • Physical Description: electronic
    electronic resource
    access
    remote
    XII, 402 p. 89 illus. online resource.
  • Publisher: London : Springer London, 2005.
Subject: Computer science
Software engineering
Computational complexity
Computer Science
Software Engineering/Programming and Operating Systems
Software Engineering
Discrete Mathematics in Computer Science
Search Results Showing Item 1 of 92

Additional Resources