Kids Library Home

Welcome to the Kids' Library!

Search for books, movies, music, magazines, and more.

Available items only

Title Software specification methods [electronic resource] / edited by Henri Habrias, Marc Frappier.

Imprint London ; Newport Beach, CA : ISTE Ltd, 2006.


Location Call No. OPAC Message Status
 Axe ProQuest E-Book  Electronic Book    ---  Available
Edition 2nd ed.
Description xxv, 418 p. : ill.
Bibliography Includes bibliographical references and index.
Reproduction Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
Subject Formal methods (Computer science)
Computer software -- Specifications.
Genre/Form Electronic books.
Added Author Habrias, Henri.
Frappier, Marc, 1965-
ProQuest (Firm)
ISBN 1905209347

Available items only