Software specification method

Saved in:
Bibliographic Details
Other Authors: Habrias, Henri 1965-, Frappier, Marc 1965-
Format: Book
Published: London ISTE Ltd 2006
Edition:2nd ed
Subjects:
Online Access:Click Here to View Status and Holdings.
Tags: Add Tag
No Tags, Be the first to tag this record!

MARC

LEADER 00000n a2200000 a 4501
001 wils-367251
020 # # |a 1905209347 
020 # # |a 9781905209347 
040 # # |a DLC  |d ITMB 
090 0 0 |a QA76.9.F67  |b S64 2006 
245 0 0 |a Software specification method  |c edited by Henri Habrias, Marc Frappier 
250 # # |a 2nd ed 
260 # # |a London  |b ISTE Ltd  |c 2006 
300 # # |a xxv, 418 p.  |b ill.  |c 25 cm 
504 # # |a Includes bibliographical references and index 
650 # 0 |a Formal methods (Computer science)  |v Specifications 
650 # 0 |a Computer software  |v Specifications 
700 1 # |a Habrias, Henri  |d 1965- 
700 # # |a Frappier, Marc  |d 1965- 
856 4 0 |z Click Here to View Status and Holdings.  |u https://opac.uitm.edu.my/opac/detailsPage/detailsHome.jsp?tid=367251 
964 # # |c BOK  |d 01