Software development with Z : a practical approach to formal methods in software engineering / J.B/Wordsworth.
Series: International computer science seriesPublication details: Wokingham, England ; Reading, Mass. : Addison-Wesley pub.co., 1992Description: xii, 334 p. : ill. ; 24 cmISBN:- 0201627574
- QA76.73.Z2 W67 1992
Item type | Current library | Call number | Copy number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|---|
![]() |
Main | QA76.73 .Z2 W67 1992 (Browse shelf(Opens below)) | 1 | Withdrawn | 0001507 |
Browsing Main shelves Close shelf browser (Hides shelf browser)
![]() |
![]() |
![]() |
![]() |
No cover image available |
![]() |
No cover image available | ||
QA76.73.S67 G46 1999 Oracle SQL*Plus : | QA76.73 .S67 L35 1993 Introduction to SQL / | QA76.73.S67 P73 1995 A guide to SQL / | QA76.73 .Z2 W67 1992 Software development with Z : | QA76.75.O63 E65 1992 EPIC 2 : | QA76.75 R33 1999 باور بوينت 97 / | QA76.752 M63 1984 موسوعة المصطلحات الفنية للكمبيوتر : |
Includes bibliographical references (p. 321-324) and index.
1
There are no comments on this title.
Log in to your account to post a comment.