このページのリンク

Software engineering mathematics : formal methods demystified / Jim Woodcock, Martin Loomes.

データ種別 図書
出版者 London : Pitman
出版年 1988.
本文言語 英語
大きさ 291 p. : ill. ; 25 cm.
目次/あらすじ

所蔵情報を非表示


ASRS 007.64/W864s 04195686
0273026739

書誌詳細を非表示

一般注記 Includes bibliographical references and index.
著者標目 Woodcock, Jim.
Loomes, Martin.
件 名 Electronic digital computers--Programming
Computer science--Mathematics
分 類 NDC:007.64
書誌ID 1000166646
ISBN 0273026739
NCID BA04404286 WCLINK

 類似資料