Formal Software Development: From VDM to Java
By: and
Sign Up Now!
Already a Member? Log In
You must be logged into UK education collection to access this title.
Learn about membership options,
or view our freely available titles.
- Synopsis
- 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. The book is packed with examples and exercises throughout.
- Copyright:
- 2004
Book Details
- Book Quality:
- Publisher Quality
- Book Size:
- 256 Pages
- ISBN-13:
- 9780230005860
- Related ISBNs:
- 9780333992814
- Publisher:
- Bloomsbury Publishing
- Date of Addition:
- 11/07/21
- Copyrighted By:
- N/A
- Adult content:
- No
- Language:
- English
- Has Image Descriptions:
- No
- Categories:
- Nonfiction, Computers and Internet
- Submitted By:
- Bookshare Staff
- Usage Restrictions:
- This is a copyrighted book.