Software specification method
Saved in:
Other Authors: | , |
---|---|
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 |