Amazon cover image
Image from Amazon.com

Software development with Z : a practical approach to formal methods in software engineering / J.B/Wordsworth.

By: Series: International computer science seriesPublication details: Wokingham, England ; Reading, Mass. : Addison-Wesley pub.co., 1992Description: xii, 334 p. : ill. ; 24 cmISBN:
  • 0201627574
Subject(s): LOC classification:
  • QA76.73.Z2 W67 1992
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Copy number Status Date due Barcode
Books Books Main QA76.73 .Z2 W67 1992 (Browse shelf(Opens below)) 1 Withdrawn 0001507

Includes bibliographical references (p. 321-324) and index.

1

There are no comments on this title.

to post a comment.

Home | About ENAL | Collections | Services | Activities | Calendar | Contact us

7 Nadi El Sayed St., Giza, Egypt | Phone:02-33351121 +02-33351313 | 
| Email: enalegypt@gmail.com