Welcome to Air University Central Library and Fazaia Medical College Library. (Sign in with Your email. Your user name is the same as your student ID number or Employee ID number for password, please contact Circulation Staff)

Theses & Project List | AUCL & FMC Digital Library | Library Handbook|

Amazon cover image

Image from Amazon.com

Normal view MARC view ISBD view

Formal Software Development : From VDM to Java /

By:

Charatan, Quentin

Contributor(s):

Kans, Aaron

Publication details: New York: Palgrave Macmillanxi, 2004.Description: xi, 239p 20.5 x 27 cmISBN:

978-0333992814

Subject(s):

This is a gently-paced software engineering text that concentrates on the use of formal methods for the development of high integrity software. It assumes no previous knowledge of formal methods, and presents a practical and comprehensive treatment of the subject suitable for second and third year undergraduates on computing courses, and students on taught master's courses

DDC classification:

005.1 CHA-F

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Collection	Call number	Status	Barcode
Book	Air University Multan Campus Library	Computer Science	005.1 CHA-F (Browse shelf(Opens below))	Available	P005063

Includes index.

There are no comments on this title.

to post a comment.

Air University Sector E-9, Islamabad Paksitan
Email: librarian@au.edu.pk Tel : +0092 51 9262612 Ext: 631