Library of American University of Madaba

Normal View MARC View ISBD View

Software specification methods / edited by Henri Habrias, Marc Frappier. - 2nd ed. - London : ISTE Ltd, 2006. - xxv, 418 p. : ill. ; 25 cm.

Includes bibliographical references and index.

ISBN: 1905209347 9781905209347

Subjects--Topical Terms:
Formal methods (Computer science)
Computer software--Specifications.

LC Class. No.: QA76.9.F67 / S64 2006

Dewey Class. No.: 004.0151 / S681