Formal specification and design

Formal specification and design

L.M.G. Feijs & H.B.M. Jonkers

Cambridge : Cambridge University Press, 2005, c1992

図書等

巻号情報

No. 所在 請求記号 資料ID 資料タイプ 状況(返却予定日) コレクション 備考 予約・取り寄せ人数

1

007.63-F17

10005023593

一般図書

詳細情報

刊年

2005

形態

xvi, 335 p. : ill. ; 25 cm

シリーズ名

Cambridge tracts in theoretical computer science ; 35

注記

Includes bibliographical references (p. 303-307) and index

This digitally printed first paperback version 2005

出版国

イギリス

標題言語

英語 (eng)

本文言語

英語 (eng)

著者情報

Feijs, L. M. G. (Loe M. G.) [ Feijs, Loe M. G. ] [ Feijs, Loe ]

Jonkers, H. B. M. [ H.B.M, Jonkers ]

分類

DC20:512.00285

DC20:005.1/2

LCC:QA76.76.D47

件名

Computer software -- Development

Object-oriented programming (Computer science)

ISBN

0521435927

NCID

BA76037012