Limit search to items available for checkout
BOOK
Title Domain modeling-based software engineering : a formal approach / by Ruqian Lu, Zhi Jin.
Imprint Boston, MA : Kluwer Academic, c2000.

Copies/Volumes

LOCATION CALL # STATUS
 Main Stacks  QA76.758 .L84 2000    AVAILABLE
Description xvi, 347 p. : ill. ; 25 cm.
Series Kluwer international series on Asian studies in computer and information science ; 8.
Bibliog. Includes bibliographical references (p. [335]-343) and index.
Subject Software engineering.
Formal methods (Computer science)
Other Author Jin, Zhi, 1962-