Software specification methods /

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

Includes bibliographical references and index

1905209347


Formal methods (Computer science)
Computer software--Specifications

Perpustakaan Universiti Malaysia Pahang Al-Sultan Abdullah
26600 Pekan, Pahang Darul Makmur
Phone: +609 431 5063 (Gambang) / +609 431 5035 (Pekan)
Email: umplibrary@umpsa.edu.my

Connect With Us