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, Calif. : ISTE Ltd, c2006 (Norwood, Mass. : [generator])


Location Call No. OPAC Message Status
 Axe IT Pro E-Book  Electronic Book    ---  Available
System Details Mode of access: Internet via World Wide Web.
Note Title from title screen.
File Type Text.
Issued By Digitized and made available by:
Form Available also in a print ed.
Bibliography Includes bibliographical references and index.
Subject Formal methods (Computer science)
Computer software -- Specifications.
Genre/Form Electronic books.
Added Author Habrias, Henri. Editor.
Frappier, Marc, 1965- Editor.
Books24x7, Inc.
ISBN 1905209347

Available items only