Tokai University Library

Introduction to formal specification and Z

pbk. / Ben Potter, Jane Sinclair, David Till ; pbk.. -- 2nd ed. -- Prentice Hall, 1996. -- (Prentice-Hall International series in computer science). <BB78134016>
Tag:
No tag is registered
URL:

HoldingsList 1-1 of about 1

No. Volumes Library Location Call No Material ID Status Due Date Reservation WEB書棚
0001 Sapporo 電動洋書 549.92/I 0010781078431 配架済 0items
No. 0001
Volumes
Library Sapporo
Location 電動洋書
Call No 549.92/I
Material ID 0010781078431
Status 配架済
Due Date
Reservation 0items
WEB書棚

Bibliography Details

title and statement of responsibility area Introduction to formal specification and Z ; pbk. / Ben Potter, Jane Sinclair, David Till
INTRODUCTION
edition area 2nd ed
publication,distribution,etc.,area London ; Tokyo : Prentice Hall, 1996
physical description area xiv, 434 p. : ill. 24 cm
Volume Information
volumes pbk.
ISBN 0132422077
parent bibliography link Prentice-Hall International series in computer science <>//a
note Includes bibliographical references and index.
NCID BA28066304
text language code English
author link Ben Potter
POTTER <>
author link Jane Sinclair
SINCLAIR <>
author link David Till
TILL <>
classification NDC:549.92
ID BB78134016