Catalog

Record Details

Catalog Search



Software Verification and Analysis [electronic resource] : An Integrated, Hands-On Approach / by William Stanley, Janusz Laski.

Stanley, William. (author.). Laski, Janusz. (author.). SpringerLink (Online service) (Added Author).

Electronic resources

Record details

  • ISBN: 9781848822405
  • Physical Description: online resource.
  • Publisher: London : Springer London : 2009.
Subject: Computer science.
Software engineering.
Computer Science.
Software Engineering/Programming and Operating Systems.
Software Engineering.
Programming Techniques.

Additional Resources