Book Cover
Book

Title Software specification methods / edited by Henri Habrias, Marc Frappier
Edition Second edition
Published London : ISTE Ltd, 2006

Copies

Location Call no. Vol. Availability
 W'PONDS  004.0151 Hab/Ssm 2006  AVAILABLE
Description 418 pages ; 24 cm
Notes Includes index
Subject Formal methods (Computer science)
Computer software -- Specifications.
Author Habrias, Henri.
Frappier, Marc, 1965-
LC no. 2006009290
ISBN 9781905209347
1905209347